// SPDX-FileCopyrightText: 2014 Samsung Electronics Co., Ltd.
// SPDX-License-Identifier: Apache-2.0

loop:
        while (true) {
  do {
    for (; true; ) {
      break loop;
    }
  } while (true);
}
