G1 distinction between #line and #pragma directives