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