fprintf(stdout, "#%04X: PR: %6d = #%04X = %s\n",
sys->cpu->pr, sys->cpu->pr, sys->cpu->pr, pr = word2bit(sys->cpu->pr));
fprintf(stdout, "#%04X: FR (OF SF ZF): %s\n",
fprintf(stdout, "#%04X: PR: %6d = #%04X = %s\n",
sys->cpu->pr, sys->cpu->pr, sys->cpu->pr, pr = word2bit(sys->cpu->pr));
fprintf(stdout, "#%04X: FR (OF SF ZF): %s\n",