Some work on bytecode generation