1 sort bitvec 1024
2 state 1 a_really_big_state