RawToTerm compiles