Syntax error on line 6: Bad VarsDecl.
  var x : [1..2];
