0 1 state 0 1 1 4 4 0x0000000a 4 0x00000000 1 neq 4 0x00000000 55 11407