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