("5.3.1" ("509f958d346d4d5dc8a0709193bb2d803ac0e435" . "2ff0ef0c11795c38b10fadbc6f952b6fd1262894") (collects #"racket" #"private" #"small-scheme.rkt") (collects #"racket" #"private" #"stx.rkt") (collects #"racket" #"private" #"stxcase-scheme.rkt"))
