state x
      ^
(Line 3 char 7): ERROR: Name previously declared within scope