Syntax error on line 13: Syntax Error after keyword next.
    next(r) := x | r; // next_r = x OR r
