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