ATS-parse-emit: rtfind2 also works (what are "env" arguments? for
closures? in the case of [rtfind2] the closure seems to be eliminated
completely)