#! /bin/sh
exec scm54typed "$@"