Syntax error on line 7: Syntax Error in Expression.
        x = choose i : int :: i >= 0 && i <= 200;
