Haven't seen any, good idea. Should be pretty easy for seqs, arrays, strings and pretty useful when debugging.
I'd also be interested if it's possible to demangle identifiers so that we can tell GDB what the mapping between original identifier and C identifier is, like the #line pragma.
