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

switch (1) {
  case 0:
    assert(false);
    break;
  case 2:
    assert(false);
    break;
}
