("8.17" tarm64nt ("43dfd2bdd291d6366e6292875e36e617f4c7bae4" "74ebfe52bb4d29e3ff22e2a9ae8bf577e2f426fb" . "c01045ec1e41b00da632924f2fcaaf154d9bb3dc") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"syntax" #"stx.rkt"))
