chickadee » dbc » contract-check-level

requires (and (integer? x)
              (<= 0 x 2)
              "0: no checks"
              "1: preconditions checked"
              "2: pre- and postconditions checked")