Test-case for ATS-parse-emit-CIL. The resulting code is almost
compilable.