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