("5.3.1" ("57a25c3d4b025899a40cd3cceb23e608fd72d662" . "a9c6a58f851426c92d38b5c70dae9e39942869cd") (collects #"racket" #"base.rkt") (collects #"ffi" #"vector.rkt") (collects #"ffi" #"unsafe.rkt") (collects #"ffi" #"unsafe" #"cvector.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
