Syntax error on line 15: Syntax Error after keyword next.
    next(x) :=
