> If we keep a reference to f_globals for each line in the traceback, we 
> can defer this to later (ideally we'd just keep the __loader__ value,
> but that would require changing the linecache interface as well).

Or you could add a *new* linecache interface.
Keeping __loader__ sounds much less hackish than keeping f_globals to me.