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