: dup 0 @ 0 ! 0 ! ;
: drop 0 @ ;
: swap 0 @ 1 @ 0 ! 1 ! ;
: - neg + ;
: not 1 swap - ;
: = - not ;