("7.8" ta6nt ("d1dba75f325099bce8f776343e8bae4465d578f5" "faefe6b050d78bb1bee78caae0a5c5b8422ad1cb" . "0a8a13520b3b940cbf5a478c4c54ea724c7fd8b8") (collects #"ffi" #"unsafe.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
