defs.rkt 3.43 KB