I'm wondering about how to determine if the address pair read
loclist is terminating the sequence. When no relocations are in effect,
that's easy: (0,0) is the terminal. But with relocations? Currently
it's considered a terminal if it's (0,0), and neither of the two
addresses was relocated. Is that right?
Yes. The terminator is a literal 0,0 and you should consider any relocated
address to be an address and never part of a terminator.