("8.17" ta6le ("20a0dfbef65bb03790dcfcab38b9dda9920207a1" . "bd17ce3e54b81996284ef59eff70f50d70412369") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"context.rkt") (collects #"syntax" #"kerncase.rkt"))
