Proposal: A simple and extensible mechanism for source locations in library code