defs.rkt 2.58 KB