Syntax error on line 17: .
    procedure nextProcess1() modifies x, count1 {
