useless-stack-ensures.rkt