instructions a b -- a==b EQU -> Pushes $1 if bytes a == b, $0 otherwise EQUw -> Pushes $1 if words a == b, $0 otherwise EQUx -> Pushes $1 if bytes a == x, $0 otherwise EQUxw -> Pushes $1 if words a == xw, $0 otherwise EQUy -> Pushes $1 if bytes a == y, $0 otherwise EQUyw -> Pushes $1 if words a == yw, $0 otherwise EQUxy -> Pushes $1 if bytes x == y, $0 otherwise EQUxyw -> Pushes $1 if words xw == yw, $0 otherwise