source ^stdcons.bfm
source ^boolnot.bfm

@ __psox_tmp1
@ __psox_tmp2
@ __psox_tmp3

stringout "\0x00\0x07\0x00" : __psox_tmp1 __psox_tmp2
in __psox_tmp3
boolnot __psox_tmp3 : __psox_tmp2
if __psox_tmp3 {
   stringout "\0x00\0x00" : __psox_tmp1 __psox_tmp2
   set __psox_tmp1 1
}

in __psox_tmp3
set __psox_tmp3 0