#line $lineno "$filename (autosplit into $path)"