# *** MODIFIED TEST FROM ORIGINAL MONKEYNES
# *** Proper diag info, "IRQ" not "NMI"
# *** BRK stores PC + 2
clear
power on
regs

# Load the IRQ Vector
memset fffe ef
memset ffff be

# Set some bits into the PS
memset dead ff
op 2c adde

# Should be: PS=E2
test ps = e2

op 00

# Should be: PC=BEEF, I=1, B=1
# SP=FC, Mem[$01FF]=80, Mem[$01FE]=02
# Mem[$01FD]=F2

test pc = beef
test i = 1
test b = 1
test sp = fc
test m:01ff = 80
test m:01fe = 2
test m:01fd = f2

save verify_00.txt