A preprocessor should Interpret an input line "# NUM FILENAME" as "#line NUM FILENAME"