Use #lang racket/base instead of #lang at-exp racket