Isn't ^L defined to be in the class of whitespace characters? If so, then the C compiler should ignore it because it ignores insignificant whitespace (multitabs or spaces between symbols, also (I think) therefore ^L etc.)