Do not read the source file to emit annotations.
Do not read the file to determine its name!