A bytecode interpreter generator.