(there is retrieve_dbginfo stuff already there! And don't tell me about possible
 future extensions where sets of locations are merged and someone generates
 usefull debug info from that. Noone uses this currently!)

[r26878]