EXIT() may mean return(). That's confusing, so let's have it really mean