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

var v_1 = [,];
Object.defineProperty(v_1, "0", {
    set: function() {},
});
