According to @shawn 's answer, use sicp packet and set #lang sicp instead of #lang racket solves my problem, but still not quite clear how exactly the problem is solved inside the packet.