nitc :: Location :: as_line_pragma
fun as_line_pragma: String do return "#line {line_start-1} \"{file.filename}\"\n"