bug fixed; all existing tests running. No tests yet for new special-purpose registers.