Syntax error on line 12: Syntax Error after keyword call.
      call state' = GREEN;
