Let's say I have a piece of code that I build using gcc with ... do the debugging symbols have enough information to resolve this virtual PC to a line number in the source file statically ...