defs.rkt 9.24 KB