Updating: working ATS-parse-emit