Worked out a better system for storing the original source
line numbers that uses less space.  At this point the
"write" part of the algorithm is done, and it's time to
move on to the harder part, of reading it back in.