// SPDX-FileCopyrightText: 2015 Samsung Electronics Co., Ltd.
// SPDX-FileCopyrightText: 2015 University of Szeged.
// SPDX-License-Identifier: Apache-2.0

var v_1 = { };

for (i = 0; i < 1; i++) {
  with ( v_1 ) {
    with ( v_1 ) { }
  }
}
