sig
  val enabled_domains : unit -> (string * string) list
  val use_builtin : Cil_types.kernel_function -> string -> unit
  val use_global_value_partitioning : Cil_types.varinfo -> unit
end