sig   type level = Basic | Medium | High   val cstr :     ?level:Fcl_gcc.level ->     Fcl_var.Fd.t array -> (Fcl_var.Fd.t * int) array -> Fcl_cstr.t end