case.rkt 7.01 KB