("352" (collects . #"mzlib/etc.ss") (collects . #"setup/getinfo.ss") (collects . #"help/servlets/private/util.ss") (collects . #"help/servlets/private/read-lines.ss") (collects . #"help/servlets/private/headelts.ss"))
