-- should run successfully and exit, i.e. without evaluating the
-- argument to return.
main = return undefined