Sourceval add_custom_section : t -> string -> string -> unit Sourceval print_stack_ir : t -> unit Sourceval write : t -> string option -> bytes * string option Sourceval write_stack_ir : t -> string Sourceval add_debug_info_filename : t -> string -> int Sourceval get_debug_info_filename : t -> int -> string