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