bytecode specificaiton