Real bytecode specification