Some documentation of the CoolBasic bytecode format