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