defs.rkt 1.75 KB