Correct bytecode for builtin