Syntax error on line 3: Bad VarsDecl.
  var s : 0..1; // shared variable
