Bytesections
Recording sections written to a bytecode executable file
val init_record : out_channel -> unit
val record : out_channel -> string -> unit
val write_toc_and_trailer : out_channel -> unit
Reading sections from a bytecode executable file
val read_toc : in_channel -> unit
val seek_section : in_channel -> string -> int
val read_section_string : in_channel -> string -> string
val read_section_struct : in_channel -> string -> 'a
val pos_first_section : in_channel -> int