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