Complete bytecode grammar specification