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