Syntax error on line 4: Bad VarsDecl.
    var x: 1..2; // x can take values 1 or 2
