Note that there is a PSourceContext.cs file.
We need to figure out how we can initialize the three fields in each context
int docIndex, int lineNumber, int startColumn
from the P compiler.
Another thing to think about is what is the stack-trace that one needs for P error traces ?