// TODO(multitest): This was automatically migrated from a multitest and may
// contain strange or dead code.

// Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

const x = "x";

const y = const {0: "y"};

main() {
  print(x);
  print(y);
  const z = 1 + 1 + 1;
  print(z);
}