("8.17" tarm64nt ("28338cfda29d8d846da125a4961e21000771b4cb" "f881ad4a1fb231d4d89151e954af98bbdf8d2910" . "2ebcc41fbbf91ac59c9d30b5a85a9d98a6818cd2") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"for-body.rkt"))
