("4.2.3" (collects #"scheme" #"base.ss") (collects #"lang" #"private" #"teachprims.ss") (collects #"syntax" #"stx.ss") (collects #"syntax" #"kerncase.ss") (collects #"syntax" #"struct.ss") (collects #"scheme" #"include.ss") (collects #"scheme" #"base" #"lang" #"reader.ss") (ext collects #"mzlib" #"private" #"shared-body.ss"))
