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