("5.3.1" ("6fa2c8daf7d9719aadfafce2a267bc002f5a6db3" . "b4d4a5a70f52964b27b347fc0c2466ec2eceddf9") (collects #"syntax" #"parse.rkt") (collects #"racket" #"base.rkt") (collects #"ffi" #"unsafe.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
