#! /bin/sh
/home/scheme/scm/scm d:/classes/ui54/lib/eopl.scm d:/classes/ui54/lib/type-check-ignore-types-at-runtime.scm "$@"