I think that this is the source of your confusion: you think just because one module uses a register in an unorthodox way that it's now spoiled for the entire program. And that's simply not true. Registers simply hold values. If they're in danger of being overridden, then you can preserve them