needs tests/harness hal/opq
testbegin

\test (i?
42 i) (i? #true 42 #eq
42 m) (i? not #true
W) (i? not #true

\test (W?
42 i) (W? not #true

\test (bank and bank)
42 i) (bank 42 #eq
42 i) 54 bank) (i? #true 54 #eq

\test (R
RSP) 4 +) (R REGRSP #eq

\test signedcond
\test swappedcond
>) swappedcond <) #eq
<>) swappedcond <>) #eq
<=) swappedcond >=) #eq

\test (signed?
W) (signed? not #true
W) signed) (signed? #true

\test ?be+)
code psp8bfetch ( n -- c ) dup, PSP) 8b) ?be+) @, nip, exit,
42 psp8bfetch 42 #eq

code psp16bfetch ( n -- c ) dup, PSP) 16b) ?be+) @, nip, exit,
1234 psp16bfetch 1234 #eq

testend