("5.3.1" ("286acfb6de273b4b69d9d37e0a74e0cc99b2bec4" . "e215fa3f2e9edcd80557ba1292ebde015eeaac03") (collects #"ffi" #"winapi.rkt") (collects #"racket" #"base.rkt") (collects #"ffi" #"unsafe" #"define.rkt") (collects #"ffi" #"unsafe.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
