emitFooter = do
  label <- nop
  getstatic "java/lang/System" "out" (L"java/io/PrintStream")
  invokevirtual "java/io/PrintStream" "flush" ()V
  return
  returnM label
emitFooter = do
  label <- nop
  getstatic "java/lang/System" "out" (L"java/io/PrintStream")
  invokevirtual "java/io/PrintStream" "flush" ()V
  return
  returnM label
emitFooter = do
  label <- nop
  getstatic "java/lang/System" "out" (L"java/io/PrintStream")
  invokevirtual "java/io/PrintStream" "flush" ()V
  return
  returnM label