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

function a()
{
  for (i = 1; i < 5; i++)
    if (i) {
      5;
    }
}
