Note about bytecode format