#lang reprovide
(submod "../contract.rkt" untyped)