parameter unit
code
  { # This contract will never accept a incoming transaction
    FAIL ;
    # Alas, FAIL is not (yet?) polymorphic, and we need to keep unused
    # instructions for the sake of typing...
    CDR ; UNIT ; PAIR }
return unit
storage unit