COMMENT: this directory is meant to test exclusively the front-end
COMMENT: (parser, type-checker, linker, syntactic transformations)
OPT: -print -journal-disable -check
FILEREG:.*\.\(c\|i\|ci\)$
