On Wed, 10 Apr 2019, Michael Schmitz wrote:
What would happen if we just ignore the fault, and let print_worker_info() carry on?
Unforunately I don't have access to a Motorola '040 or '060 right now, but if you do, it might provide us with some clues as to how to handle this particular exception. --
