("5.3.1" ("b6e606f20ef39d39501ea2b1988b02d0a5062c6c" . "8655ad121d6f73f2c2baa4657ee6d8cd714092c5") (collects #"racket" #"base.rkt") (collects #"ffi" #"unsafe" #"cvector.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
