("5.3.1" ("b45e18c069c1b220404a62a46a1758cbf776e16d" . "01f3c2e39e8e18b789facadb9c7a1105843450c9") (collects #"racket" #"base.rkt") (collects #"ffi" #"unsafe.rkt") (collects #"ffi" #"file.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
