let state a b = I.state (a,b)