Emit 1.7 bytecode, see #2033