John Wittrock found a bug:  We don't currently properly restore registers from a fault handler.