sig
  val create : unit -> Gccjit.context
  val release : Gccjit.context -> unit
  val create_child : Gccjit.context -> Gccjit.context
  val dump_to_file : Gccjit.context -> ?update_locs:bool -> string -> unit
  val set_logfile : Gccjit.context -> Unix.file_descr option -> unit
  val dump_reproducer_to_file : Gccjit.context -> string -> unit
  type _ context_option =
      Progname : string Gccjit.Context.context_option
    | Optimization_level : int Gccjit.Context.context_option
    | Debuginfo : bool Gccjit.Context.context_option
    | Dump_initial_tree : bool Gccjit.Context.context_option
    | Dump_initial_gimple : bool Gccjit.Context.context_option
    | Dump_generated_code : bool Gccjit.Context.context_option
    | Dump_summary : bool Gccjit.Context.context_option
    | Dump_everything : bool Gccjit.Context.context_option
    | Selfcheck_gc : bool Gccjit.Context.context_option
    | Keep_intermediates : bool Gccjit.Context.context_option
  val set_option :
    Gccjit.context -> 'a Gccjit.Context.context_option -> 'a -> unit
  val compile : Gccjit.context -> Gccjit.result
  type output_kind = Assembler | Object_file | Dynamic_library | Executable
  val compile_to_file :
    Gccjit.context -> Gccjit.Context.output_kind -> string -> unit
end