sig
  type level = Basic | Medium | High
  val cstr :
    ?level:Gcc.level -> Var.Fd.t array -> (Var.Fd.t * int) array -> Cstr.t
end