Syntax error on line 6: Bad VarsDecl.
    var s : [0:1] int;
