document bytecode file format