init (Lab1 state)