<cilcode.tmp>: not_hygienic
