("8.17" ta6le ("43dfd2bdd291d6366e6292875e36e617f4c7bae4" . "148c5ab1b34d15adac14e5f4a59902a0be52d760") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"syntax" #"stx.rkt"))
