Annotating a path through the compiler