let
states = [|0;1;2;3|]