// Copyright 2023 gRPC authors.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

//
// Automatically generated by tools/codegen/core/gen_if_list.py
//

#ifndef GRPC_SRC_CORE_LIB_GPRPP_IF_LIST_H
#define GRPC_SRC_CORE_LIB_GPRPP_IF_LIST_H

#include <grpc/support/port_platform.h>

namespace grpc_core {

template <typename CheckArg, typename ActionArg, typename ActionFail,
          typename Check0, typename Action0>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Action0 action0) {
  if (check0(input)) return action0(action_arg);
  return action_fail(action_arg);
}

template <typename CheckArg, typename ActionArg, typename ActionFail,
          typename Check0, typename Check1, typename Action0, typename Action1>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Action0 action0, Action1 action1) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  return action_fail(action_arg);
}

template <typename CheckArg, typename ActionArg, typename ActionFail,
          typename Check0, typename Check1, typename Check2, typename Action0,
          typename Action1, typename Action2>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Action0 action0,
            Action1 action1, Action2 action2) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  return action_fail(action_arg);
}

template <typename CheckArg, typename ActionArg, typename ActionFail,
          typename Check0, typename Check1, typename Check2, typename Check3,
          typename Action0, typename Action1, typename Action2,
          typename Action3>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Action0 action0, Action1 action1, Action2 action2,
            Action3 action3) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  return action_fail(action_arg);
}

template <typename CheckArg, typename ActionArg, typename ActionFail,
          typename Check0, typename Check1, typename Check2, typename Check3,
          typename Check4, typename Action0, typename Action1, typename Action2,
          typename Action3, typename Action4>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Action0 action0, Action1 action1, Action2 action2,
            Action3 action3, Action4 action4) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  return action_fail(action_arg);
}

template <typename CheckArg, typename ActionArg, typename ActionFail,
          typename Check0, typename Check1, typename Check2, typename Check3,
          typename Check4, typename Check5, typename Action0, typename Action1,
          typename Action2, typename Action3, typename Action4,
          typename Action5>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Action0 action0, Action1 action1,
            Action2 action2, Action3 action3, Action4 action4,
            Action5 action5) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  return action_fail(action_arg);
}

template <typename CheckArg, typename ActionArg, typename ActionFail,
          typename Check0, typename Check1, typename Check2, typename Check3,
          typename Check4, typename Check5, typename Check6, typename Action0,
          typename Action1, typename Action2, typename Action3,
          typename Action4, typename Action5, typename Action6>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Action0 action0,
            Action1 action1, Action2 action2, Action3 action3, Action4 action4,
            Action5 action5, Action6 action6) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  return action_fail(action_arg);
}

template <typename CheckArg, typename ActionArg, typename ActionFail,
          typename Check0, typename Check1, typename Check2, typename Check3,
          typename Check4, typename Check5, typename Check6, typename Check7,
          typename Action0, typename Action1, typename Action2,
          typename Action3, typename Action4, typename Action5,
          typename Action6, typename Action7>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Action0 action0, Action1 action1, Action2 action2, Action3 action3,
            Action4 action4, Action5 action5, Action6 action6,
            Action7 action7) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  return action_fail(action_arg);
}

template <typename CheckArg, typename ActionArg, typename ActionFail,
          typename Check0, typename Check1, typename Check2, typename Check3,
          typename Check4, typename Check5, typename Check6, typename Check7,
          typename Check8, typename Action0, typename Action1, typename Action2,
          typename Action3, typename Action4, typename Action5,
          typename Action6, typename Action7, typename Action8>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Action0 action0, Action1 action1, Action2 action2,
            Action3 action3, Action4 action4, Action5 action5, Action6 action6,
            Action7 action7, Action8 action8) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  return action_fail(action_arg);
}

template <typename CheckArg, typename ActionArg, typename ActionFail,
          typename Check0, typename Check1, typename Check2, typename Check3,
          typename Check4, typename Check5, typename Check6, typename Check7,
          typename Check8, typename Check9, typename Action0, typename Action1,
          typename Action2, typename Action3, typename Action4,
          typename Action5, typename Action6, typename Action7,
          typename Action8, typename Action9>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Action0 action0, Action1 action1,
            Action2 action2, Action3 action3, Action4 action4, Action5 action5,
            Action6 action6, Action7 action7, Action8 action8,
            Action9 action9) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  return action_fail(action_arg);
}

template <typename CheckArg, typename ActionArg, typename ActionFail,
          typename Check0, typename Check1, typename Check2, typename Check3,
          typename Check4, typename Check5, typename Check6, typename Check7,
          typename Check8, typename Check9, typename Check10, typename Action0,
          typename Action1, typename Action2, typename Action3,
          typename Action4, typename Action5, typename Action6,
          typename Action7, typename Action8, typename Action9,
          typename Action10>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Action0 action0,
            Action1 action1, Action2 action2, Action3 action3, Action4 action4,
            Action5 action5, Action6 action6, Action7 action7, Action8 action8,
            Action9 action9, Action10 action10) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  return action_fail(action_arg);
}

template <typename CheckArg, typename ActionArg, typename ActionFail,
          typename Check0, typename Check1, typename Check2, typename Check3,
          typename Check4, typename Check5, typename Check6, typename Check7,
          typename Check8, typename Check9, typename Check10, typename Check11,
          typename Action0, typename Action1, typename Action2,
          typename Action3, typename Action4, typename Action5,
          typename Action6, typename Action7, typename Action8,
          typename Action9, typename Action10, typename Action11>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Action0 action0, Action1 action1, Action2 action2, Action3 action3,
            Action4 action4, Action5 action5, Action6 action6, Action7 action7,
            Action8 action8, Action9 action9, Action10 action10,
            Action11 action11) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  return action_fail(action_arg);
}

template <typename CheckArg, typename ActionArg, typename ActionFail,
          typename Check0, typename Check1, typename Check2, typename Check3,
          typename Check4, typename Check5, typename Check6, typename Check7,
          typename Check8, typename Check9, typename Check10, typename Check11,
          typename Check12, typename Action0, typename Action1,
          typename Action2, typename Action3, typename Action4,
          typename Action5, typename Action6, typename Action7,
          typename Action8, typename Action9, typename Action10,
          typename Action11, typename Action12>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Action0 action0, Action1 action1, Action2 action2,
            Action3 action3, Action4 action4, Action5 action5, Action6 action6,
            Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Action0, typename Action1, typename Action2,
    typename Action3, typename Action4, typename Action5, typename Action6,
    typename Action7, typename Action8, typename Action9, typename Action10,
    typename Action11, typename Action12, typename Action13>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Action0 action0, Action1 action1,
            Action2 action2, Action3 action3, Action4 action4, Action5 action5,
            Action6 action6, Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  return action_fail(action_arg);
}

template <typename CheckArg, typename ActionArg, typename ActionFail,
          typename Check0, typename Check1, typename Check2, typename Check3,
          typename Check4, typename Check5, typename Check6, typename Check7,
          typename Check8, typename Check9, typename Check10, typename Check11,
          typename Check12, typename Check13, typename Check14,
          typename Action0, typename Action1, typename Action2,
          typename Action3, typename Action4, typename Action5,
          typename Action6, typename Action7, typename Action8,
          typename Action9, typename Action10, typename Action11,
          typename Action12, typename Action13, typename Action14>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Action0 action0,
            Action1 action1, Action2 action2, Action3 action3, Action4 action4,
            Action5 action5, Action6 action6, Action7 action7, Action8 action8,
            Action9 action9, Action10 action10, Action11 action11,
            Action12 action12, Action13 action13, Action14 action14) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Action0,
    typename Action1, typename Action2, typename Action3, typename Action4,
    typename Action5, typename Action6, typename Action7, typename Action8,
    typename Action9, typename Action10, typename Action11, typename Action12,
    typename Action13, typename Action14, typename Action15>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Action0 action0, Action1 action1, Action2 action2, Action3 action3,
            Action4 action4, Action5 action5, Action6 action6, Action7 action7,
            Action8 action8, Action9 action9, Action10 action10,
            Action11 action11, Action12 action12, Action13 action13,
            Action14 action14, Action15 action15) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Action0, typename Action1, typename Action2, typename Action3,
    typename Action4, typename Action5, typename Action6, typename Action7,
    typename Action8, typename Action9, typename Action10, typename Action11,
    typename Action12, typename Action13, typename Action14, typename Action15,
    typename Action16>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Action0 action0, Action1 action1, Action2 action2,
            Action3 action3, Action4 action4, Action5 action5, Action6 action6,
            Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13, Action14 action14, Action15 action15,
            Action16 action16) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Action0, typename Action1, typename Action2,
    typename Action3, typename Action4, typename Action5, typename Action6,
    typename Action7, typename Action8, typename Action9, typename Action10,
    typename Action11, typename Action12, typename Action13, typename Action14,
    typename Action15, typename Action16, typename Action17>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Action0 action0, Action1 action1,
            Action2 action2, Action3 action3, Action4 action4, Action5 action5,
            Action6 action6, Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13, Action14 action14, Action15 action15,
            Action16 action16, Action17 action17) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Action0, typename Action1,
    typename Action2, typename Action3, typename Action4, typename Action5,
    typename Action6, typename Action7, typename Action8, typename Action9,
    typename Action10, typename Action11, typename Action12, typename Action13,
    typename Action14, typename Action15, typename Action16, typename Action17,
    typename Action18>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Action0 action0,
            Action1 action1, Action2 action2, Action3 action3, Action4 action4,
            Action5 action5, Action6 action6, Action7 action7, Action8 action8,
            Action9 action9, Action10 action10, Action11 action11,
            Action12 action12, Action13 action13, Action14 action14,
            Action15 action15, Action16 action16, Action17 action17,
            Action18 action18) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Action0,
    typename Action1, typename Action2, typename Action3, typename Action4,
    typename Action5, typename Action6, typename Action7, typename Action8,
    typename Action9, typename Action10, typename Action11, typename Action12,
    typename Action13, typename Action14, typename Action15, typename Action16,
    typename Action17, typename Action18, typename Action19>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Action0 action0, Action1 action1, Action2 action2, Action3 action3,
            Action4 action4, Action5 action5, Action6 action6, Action7 action7,
            Action8 action8, Action9 action9, Action10 action10,
            Action11 action11, Action12 action12, Action13 action13,
            Action14 action14, Action15 action15, Action16 action16,
            Action17 action17, Action18 action18, Action19 action19) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Action0, typename Action1, typename Action2, typename Action3,
    typename Action4, typename Action5, typename Action6, typename Action7,
    typename Action8, typename Action9, typename Action10, typename Action11,
    typename Action12, typename Action13, typename Action14, typename Action15,
    typename Action16, typename Action17, typename Action18, typename Action19,
    typename Action20>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Action0 action0, Action1 action1, Action2 action2,
            Action3 action3, Action4 action4, Action5 action5, Action6 action6,
            Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13, Action14 action14, Action15 action15,
            Action16 action16, Action17 action17, Action18 action18,
            Action19 action19, Action20 action20) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Action0, typename Action1, typename Action2,
    typename Action3, typename Action4, typename Action5, typename Action6,
    typename Action7, typename Action8, typename Action9, typename Action10,
    typename Action11, typename Action12, typename Action13, typename Action14,
    typename Action15, typename Action16, typename Action17, typename Action18,
    typename Action19, typename Action20, typename Action21>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Action0 action0, Action1 action1,
            Action2 action2, Action3 action3, Action4 action4, Action5 action5,
            Action6 action6, Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13, Action14 action14, Action15 action15,
            Action16 action16, Action17 action17, Action18 action18,
            Action19 action19, Action20 action20, Action21 action21) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Action0, typename Action1,
    typename Action2, typename Action3, typename Action4, typename Action5,
    typename Action6, typename Action7, typename Action8, typename Action9,
    typename Action10, typename Action11, typename Action12, typename Action13,
    typename Action14, typename Action15, typename Action16, typename Action17,
    typename Action18, typename Action19, typename Action20, typename Action21,
    typename Action22>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Action0 action0,
            Action1 action1, Action2 action2, Action3 action3, Action4 action4,
            Action5 action5, Action6 action6, Action7 action7, Action8 action8,
            Action9 action9, Action10 action10, Action11 action11,
            Action12 action12, Action13 action13, Action14 action14,
            Action15 action15, Action16 action16, Action17 action17,
            Action18 action18, Action19 action19, Action20 action20,
            Action21 action21, Action22 action22) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Action0,
    typename Action1, typename Action2, typename Action3, typename Action4,
    typename Action5, typename Action6, typename Action7, typename Action8,
    typename Action9, typename Action10, typename Action11, typename Action12,
    typename Action13, typename Action14, typename Action15, typename Action16,
    typename Action17, typename Action18, typename Action19, typename Action20,
    typename Action21, typename Action22, typename Action23>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Action0 action0, Action1 action1, Action2 action2, Action3 action3,
            Action4 action4, Action5 action5, Action6 action6, Action7 action7,
            Action8 action8, Action9 action9, Action10 action10,
            Action11 action11, Action12 action12, Action13 action13,
            Action14 action14, Action15 action15, Action16 action16,
            Action17 action17, Action18 action18, Action19 action19,
            Action20 action20, Action21 action21, Action22 action22,
            Action23 action23) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Action0, typename Action1, typename Action2, typename Action3,
    typename Action4, typename Action5, typename Action6, typename Action7,
    typename Action8, typename Action9, typename Action10, typename Action11,
    typename Action12, typename Action13, typename Action14, typename Action15,
    typename Action16, typename Action17, typename Action18, typename Action19,
    typename Action20, typename Action21, typename Action22, typename Action23,
    typename Action24>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Action0 action0, Action1 action1, Action2 action2,
            Action3 action3, Action4 action4, Action5 action5, Action6 action6,
            Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13, Action14 action14, Action15 action15,
            Action16 action16, Action17 action17, Action18 action18,
            Action19 action19, Action20 action20, Action21 action21,
            Action22 action22, Action23 action23, Action24 action24) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Action0, typename Action1, typename Action2,
    typename Action3, typename Action4, typename Action5, typename Action6,
    typename Action7, typename Action8, typename Action9, typename Action10,
    typename Action11, typename Action12, typename Action13, typename Action14,
    typename Action15, typename Action16, typename Action17, typename Action18,
    typename Action19, typename Action20, typename Action21, typename Action22,
    typename Action23, typename Action24, typename Action25>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Action0 action0, Action1 action1,
            Action2 action2, Action3 action3, Action4 action4, Action5 action5,
            Action6 action6, Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13, Action14 action14, Action15 action15,
            Action16 action16, Action17 action17, Action18 action18,
            Action19 action19, Action20 action20, Action21 action21,
            Action22 action22, Action23 action23, Action24 action24,
            Action25 action25) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Action0, typename Action1,
    typename Action2, typename Action3, typename Action4, typename Action5,
    typename Action6, typename Action7, typename Action8, typename Action9,
    typename Action10, typename Action11, typename Action12, typename Action13,
    typename Action14, typename Action15, typename Action16, typename Action17,
    typename Action18, typename Action19, typename Action20, typename Action21,
    typename Action22, typename Action23, typename Action24, typename Action25,
    typename Action26>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Action0 action0,
            Action1 action1, Action2 action2, Action3 action3, Action4 action4,
            Action5 action5, Action6 action6, Action7 action7, Action8 action8,
            Action9 action9, Action10 action10, Action11 action11,
            Action12 action12, Action13 action13, Action14 action14,
            Action15 action15, Action16 action16, Action17 action17,
            Action18 action18, Action19 action19, Action20 action20,
            Action21 action21, Action22 action22, Action23 action23,
            Action24 action24, Action25 action25, Action26 action26) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Action0,
    typename Action1, typename Action2, typename Action3, typename Action4,
    typename Action5, typename Action6, typename Action7, typename Action8,
    typename Action9, typename Action10, typename Action11, typename Action12,
    typename Action13, typename Action14, typename Action15, typename Action16,
    typename Action17, typename Action18, typename Action19, typename Action20,
    typename Action21, typename Action22, typename Action23, typename Action24,
    typename Action25, typename Action26, typename Action27>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Action0 action0, Action1 action1, Action2 action2, Action3 action3,
            Action4 action4, Action5 action5, Action6 action6, Action7 action7,
            Action8 action8, Action9 action9, Action10 action10,
            Action11 action11, Action12 action12, Action13 action13,
            Action14 action14, Action15 action15, Action16 action16,
            Action17 action17, Action18 action18, Action19 action19,
            Action20 action20, Action21 action21, Action22 action22,
            Action23 action23, Action24 action24, Action25 action25,
            Action26 action26, Action27 action27) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Action0, typename Action1, typename Action2, typename Action3,
    typename Action4, typename Action5, typename Action6, typename Action7,
    typename Action8, typename Action9, typename Action10, typename Action11,
    typename Action12, typename Action13, typename Action14, typename Action15,
    typename Action16, typename Action17, typename Action18, typename Action19,
    typename Action20, typename Action21, typename Action22, typename Action23,
    typename Action24, typename Action25, typename Action26, typename Action27,
    typename Action28>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Action0 action0, Action1 action1, Action2 action2,
            Action3 action3, Action4 action4, Action5 action5, Action6 action6,
            Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13, Action14 action14, Action15 action15,
            Action16 action16, Action17 action17, Action18 action18,
            Action19 action19, Action20 action20, Action21 action21,
            Action22 action22, Action23 action23, Action24 action24,
            Action25 action25, Action26 action26, Action27 action27,
            Action28 action28) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Action0, typename Action1, typename Action2,
    typename Action3, typename Action4, typename Action5, typename Action6,
    typename Action7, typename Action8, typename Action9, typename Action10,
    typename Action11, typename Action12, typename Action13, typename Action14,
    typename Action15, typename Action16, typename Action17, typename Action18,
    typename Action19, typename Action20, typename Action21, typename Action22,
    typename Action23, typename Action24, typename Action25, typename Action26,
    typename Action27, typename Action28, typename Action29>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Check29 check29, Action0 action0, Action1 action1,
            Action2 action2, Action3 action3, Action4 action4, Action5 action5,
            Action6 action6, Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13, Action14 action14, Action15 action15,
            Action16 action16, Action17 action17, Action18 action18,
            Action19 action19, Action20 action20, Action21 action21,
            Action22 action22, Action23 action23, Action24 action24,
            Action25 action25, Action26 action26, Action27 action27,
            Action28 action28, Action29 action29) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Action0, typename Action1,
    typename Action2, typename Action3, typename Action4, typename Action5,
    typename Action6, typename Action7, typename Action8, typename Action9,
    typename Action10, typename Action11, typename Action12, typename Action13,
    typename Action14, typename Action15, typename Action16, typename Action17,
    typename Action18, typename Action19, typename Action20, typename Action21,
    typename Action22, typename Action23, typename Action24, typename Action25,
    typename Action26, typename Action27, typename Action28, typename Action29,
    typename Action30>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Check29 check29, Check30 check30, Action0 action0,
            Action1 action1, Action2 action2, Action3 action3, Action4 action4,
            Action5 action5, Action6 action6, Action7 action7, Action8 action8,
            Action9 action9, Action10 action10, Action11 action11,
            Action12 action12, Action13 action13, Action14 action14,
            Action15 action15, Action16 action16, Action17 action17,
            Action18 action18, Action19 action19, Action20 action20,
            Action21 action21, Action22 action22, Action23 action23,
            Action24 action24, Action25 action25, Action26 action26,
            Action27 action27, Action28 action28, Action29 action29,
            Action30 action30) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Action0,
    typename Action1, typename Action2, typename Action3, typename Action4,
    typename Action5, typename Action6, typename Action7, typename Action8,
    typename Action9, typename Action10, typename Action11, typename Action12,
    typename Action13, typename Action14, typename Action15, typename Action16,
    typename Action17, typename Action18, typename Action19, typename Action20,
    typename Action21, typename Action22, typename Action23, typename Action24,
    typename Action25, typename Action26, typename Action27, typename Action28,
    typename Action29, typename Action30, typename Action31>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Check29 check29, Check30 check30, Check31 check31,
            Action0 action0, Action1 action1, Action2 action2, Action3 action3,
            Action4 action4, Action5 action5, Action6 action6, Action7 action7,
            Action8 action8, Action9 action9, Action10 action10,
            Action11 action11, Action12 action12, Action13 action13,
            Action14 action14, Action15 action15, Action16 action16,
            Action17 action17, Action18 action18, Action19 action19,
            Action20 action20, Action21 action21, Action22 action22,
            Action23 action23, Action24 action24, Action25 action25,
            Action26 action26, Action27 action27, Action28 action28,
            Action29 action29, Action30 action30, Action31 action31) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Action0, typename Action1, typename Action2, typename Action3,
    typename Action4, typename Action5, typename Action6, typename Action7,
    typename Action8, typename Action9, typename Action10, typename Action11,
    typename Action12, typename Action13, typename Action14, typename Action15,
    typename Action16, typename Action17, typename Action18, typename Action19,
    typename Action20, typename Action21, typename Action22, typename Action23,
    typename Action24, typename Action25, typename Action26, typename Action27,
    typename Action28, typename Action29, typename Action30, typename Action31,
    typename Action32>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Check29 check29, Check30 check30, Check31 check31,
            Check32 check32, Action0 action0, Action1 action1, Action2 action2,
            Action3 action3, Action4 action4, Action5 action5, Action6 action6,
            Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13, Action14 action14, Action15 action15,
            Action16 action16, Action17 action17, Action18 action18,
            Action19 action19, Action20 action20, Action21 action21,
            Action22 action22, Action23 action23, Action24 action24,
            Action25 action25, Action26 action26, Action27 action27,
            Action28 action28, Action29 action29, Action30 action30,
            Action31 action31, Action32 action32) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Action0, typename Action1, typename Action2,
    typename Action3, typename Action4, typename Action5, typename Action6,
    typename Action7, typename Action8, typename Action9, typename Action10,
    typename Action11, typename Action12, typename Action13, typename Action14,
    typename Action15, typename Action16, typename Action17, typename Action18,
    typename Action19, typename Action20, typename Action21, typename Action22,
    typename Action23, typename Action24, typename Action25, typename Action26,
    typename Action27, typename Action28, typename Action29, typename Action30,
    typename Action31, typename Action32, typename Action33>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Check29 check29, Check30 check30, Check31 check31,
            Check32 check32, Check33 check33, Action0 action0, Action1 action1,
            Action2 action2, Action3 action3, Action4 action4, Action5 action5,
            Action6 action6, Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13, Action14 action14, Action15 action15,
            Action16 action16, Action17 action17, Action18 action18,
            Action19 action19, Action20 action20, Action21 action21,
            Action22 action22, Action23 action23, Action24 action24,
            Action25 action25, Action26 action26, Action27 action27,
            Action28 action28, Action29 action29, Action30 action30,
            Action31 action31, Action32 action32, Action33 action33) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Action0, typename Action1,
    typename Action2, typename Action3, typename Action4, typename Action5,
    typename Action6, typename Action7, typename Action8, typename Action9,
    typename Action10, typename Action11, typename Action12, typename Action13,
    typename Action14, typename Action15, typename Action16, typename Action17,
    typename Action18, typename Action19, typename Action20, typename Action21,
    typename Action22, typename Action23, typename Action24, typename Action25,
    typename Action26, typename Action27, typename Action28, typename Action29,
    typename Action30, typename Action31, typename Action32, typename Action33,
    typename Action34>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Check29 check29, Check30 check30, Check31 check31,
            Check32 check32, Check33 check33, Check34 check34, Action0 action0,
            Action1 action1, Action2 action2, Action3 action3, Action4 action4,
            Action5 action5, Action6 action6, Action7 action7, Action8 action8,
            Action9 action9, Action10 action10, Action11 action11,
            Action12 action12, Action13 action13, Action14 action14,
            Action15 action15, Action16 action16, Action17 action17,
            Action18 action18, Action19 action19, Action20 action20,
            Action21 action21, Action22 action22, Action23 action23,
            Action24 action24, Action25 action25, Action26 action26,
            Action27 action27, Action28 action28, Action29 action29,
            Action30 action30, Action31 action31, Action32 action32,
            Action33 action33, Action34 action34) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Action0,
    typename Action1, typename Action2, typename Action3, typename Action4,
    typename Action5, typename Action6, typename Action7, typename Action8,
    typename Action9, typename Action10, typename Action11, typename Action12,
    typename Action13, typename Action14, typename Action15, typename Action16,
    typename Action17, typename Action18, typename Action19, typename Action20,
    typename Action21, typename Action22, typename Action23, typename Action24,
    typename Action25, typename Action26, typename Action27, typename Action28,
    typename Action29, typename Action30, typename Action31, typename Action32,
    typename Action33, typename Action34, typename Action35>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Check29 check29, Check30 check30, Check31 check31,
            Check32 check32, Check33 check33, Check34 check34, Check35 check35,
            Action0 action0, Action1 action1, Action2 action2, Action3 action3,
            Action4 action4, Action5 action5, Action6 action6, Action7 action7,
            Action8 action8, Action9 action9, Action10 action10,
            Action11 action11, Action12 action12, Action13 action13,
            Action14 action14, Action15 action15, Action16 action16,
            Action17 action17, Action18 action18, Action19 action19,
            Action20 action20, Action21 action21, Action22 action22,
            Action23 action23, Action24 action24, Action25 action25,
            Action26 action26, Action27 action27, Action28 action28,
            Action29 action29, Action30 action30, Action31 action31,
            Action32 action32, Action33 action33, Action34 action34,
            Action35 action35) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Action0, typename Action1, typename Action2, typename Action3,
    typename Action4, typename Action5, typename Action6, typename Action7,
    typename Action8, typename Action9, typename Action10, typename Action11,
    typename Action12, typename Action13, typename Action14, typename Action15,
    typename Action16, typename Action17, typename Action18, typename Action19,
    typename Action20, typename Action21, typename Action22, typename Action23,
    typename Action24, typename Action25, typename Action26, typename Action27,
    typename Action28, typename Action29, typename Action30, typename Action31,
    typename Action32, typename Action33, typename Action34, typename Action35,
    typename Action36>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Check29 check29, Check30 check30, Check31 check31,
            Check32 check32, Check33 check33, Check34 check34, Check35 check35,
            Check36 check36, Action0 action0, Action1 action1, Action2 action2,
            Action3 action3, Action4 action4, Action5 action5, Action6 action6,
            Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13, Action14 action14, Action15 action15,
            Action16 action16, Action17 action17, Action18 action18,
            Action19 action19, Action20 action20, Action21 action21,
            Action22 action22, Action23 action23, Action24 action24,
            Action25 action25, Action26 action26, Action27 action27,
            Action28 action28, Action29 action29, Action30 action30,
            Action31 action31, Action32 action32, Action33 action33,
            Action34 action34, Action35 action35, Action36 action36) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Action0, typename Action1, typename Action2,
    typename Action3, typename Action4, typename Action5, typename Action6,
    typename Action7, typename Action8, typename Action9, typename Action10,
    typename Action11, typename Action12, typename Action13, typename Action14,
    typename Action15, typename Action16, typename Action17, typename Action18,
    typename Action19, typename Action20, typename Action21, typename Action22,
    typename Action23, typename Action24, typename Action25, typename Action26,
    typename Action27, typename Action28, typename Action29, typename Action30,
    typename Action31, typename Action32, typename Action33, typename Action34,
    typename Action35, typename Action36, typename Action37>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Check29 check29, Check30 check30, Check31 check31,
            Check32 check32, Check33 check33, Check34 check34, Check35 check35,
            Check36 check36, Check37 check37, Action0 action0, Action1 action1,
            Action2 action2, Action3 action3, Action4 action4, Action5 action5,
            Action6 action6, Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13, Action14 action14, Action15 action15,
            Action16 action16, Action17 action17, Action18 action18,
            Action19 action19, Action20 action20, Action21 action21,
            Action22 action22, Action23 action23, Action24 action24,
            Action25 action25, Action26 action26, Action27 action27,
            Action28 action28, Action29 action29, Action30 action30,
            Action31 action31, Action32 action32, Action33 action33,
            Action34 action34, Action35 action35, Action36 action36,
            Action37 action37) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Action0, typename Action1,
    typename Action2, typename Action3, typename Action4, typename Action5,
    typename Action6, typename Action7, typename Action8, typename Action9,
    typename Action10, typename Action11, typename Action12, typename Action13,
    typename Action14, typename Action15, typename Action16, typename Action17,
    typename Action18, typename Action19, typename Action20, typename Action21,
    typename Action22, typename Action23, typename Action24, typename Action25,
    typename Action26, typename Action27, typename Action28, typename Action29,
    typename Action30, typename Action31, typename Action32, typename Action33,
    typename Action34, typename Action35, typename Action36, typename Action37,
    typename Action38>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Check29 check29, Check30 check30, Check31 check31,
            Check32 check32, Check33 check33, Check34 check34, Check35 check35,
            Check36 check36, Check37 check37, Check38 check38, Action0 action0,
            Action1 action1, Action2 action2, Action3 action3, Action4 action4,
            Action5 action5, Action6 action6, Action7 action7, Action8 action8,
            Action9 action9, Action10 action10, Action11 action11,
            Action12 action12, Action13 action13, Action14 action14,
            Action15 action15, Action16 action16, Action17 action17,
            Action18 action18, Action19 action19, Action20 action20,
            Action21 action21, Action22 action22, Action23 action23,
            Action24 action24, Action25 action25, Action26 action26,
            Action27 action27, Action28 action28, Action29 action29,
            Action30 action30, Action31 action31, Action32 action32,
            Action33 action33, Action34 action34, Action35 action35,
            Action36 action36, Action37 action37, Action38 action38) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Action0,
    typename Action1, typename Action2, typename Action3, typename Action4,
    typename Action5, typename Action6, typename Action7, typename Action8,
    typename Action9, typename Action10, typename Action11, typename Action12,
    typename Action13, typename Action14, typename Action15, typename Action16,
    typename Action17, typename Action18, typename Action19, typename Action20,
    typename Action21, typename Action22, typename Action23, typename Action24,
    typename Action25, typename Action26, typename Action27, typename Action28,
    typename Action29, typename Action30, typename Action31, typename Action32,
    typename Action33, typename Action34, typename Action35, typename Action36,
    typename Action37, typename Action38, typename Action39>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Check29 check29, Check30 check30, Check31 check31,
            Check32 check32, Check33 check33, Check34 check34, Check35 check35,
            Check36 check36, Check37 check37, Check38 check38, Check39 check39,
            Action0 action0, Action1 action1, Action2 action2, Action3 action3,
            Action4 action4, Action5 action5, Action6 action6, Action7 action7,
            Action8 action8, Action9 action9, Action10 action10,
            Action11 action11, Action12 action12, Action13 action13,
            Action14 action14, Action15 action15, Action16 action16,
            Action17 action17, Action18 action18, Action19 action19,
            Action20 action20, Action21 action21, Action22 action22,
            Action23 action23, Action24 action24, Action25 action25,
            Action26 action26, Action27 action27, Action28 action28,
            Action29 action29, Action30 action30, Action31 action31,
            Action32 action32, Action33 action33, Action34 action34,
            Action35 action35, Action36 action36, Action37 action37,
            Action38 action38, Action39 action39) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Action0, typename Action1, typename Action2, typename Action3,
    typename Action4, typename Action5, typename Action6, typename Action7,
    typename Action8, typename Action9, typename Action10, typename Action11,
    typename Action12, typename Action13, typename Action14, typename Action15,
    typename Action16, typename Action17, typename Action18, typename Action19,
    typename Action20, typename Action21, typename Action22, typename Action23,
    typename Action24, typename Action25, typename Action26, typename Action27,
    typename Action28, typename Action29, typename Action30, typename Action31,
    typename Action32, typename Action33, typename Action34, typename Action35,
    typename Action36, typename Action37, typename Action38, typename Action39,
    typename Action40>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Action0 action0, Action1 action1,
    Action2 action2, Action3 action3, Action4 action4, Action5 action5,
    Action6 action6, Action7 action7, Action8 action8, Action9 action9,
    Action10 action10, Action11 action11, Action12 action12, Action13 action13,
    Action14 action14, Action15 action15, Action16 action16, Action17 action17,
    Action18 action18, Action19 action19, Action20 action20, Action21 action21,
    Action22 action22, Action23 action23, Action24 action24, Action25 action25,
    Action26 action26, Action27 action27, Action28 action28, Action29 action29,
    Action30 action30, Action31 action31, Action32 action32, Action33 action33,
    Action34 action34, Action35 action35, Action36 action36, Action37 action37,
    Action38 action38, Action39 action39, Action40 action40) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Action0, typename Action1, typename Action2,
    typename Action3, typename Action4, typename Action5, typename Action6,
    typename Action7, typename Action8, typename Action9, typename Action10,
    typename Action11, typename Action12, typename Action13, typename Action14,
    typename Action15, typename Action16, typename Action17, typename Action18,
    typename Action19, typename Action20, typename Action21, typename Action22,
    typename Action23, typename Action24, typename Action25, typename Action26,
    typename Action27, typename Action28, typename Action29, typename Action30,
    typename Action31, typename Action32, typename Action33, typename Action34,
    typename Action35, typename Action36, typename Action37, typename Action38,
    typename Action39, typename Action40, typename Action41>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Check29 check29, Check30 check30, Check31 check31,
            Check32 check32, Check33 check33, Check34 check34, Check35 check35,
            Check36 check36, Check37 check37, Check38 check38, Check39 check39,
            Check40 check40, Check41 check41, Action0 action0, Action1 action1,
            Action2 action2, Action3 action3, Action4 action4, Action5 action5,
            Action6 action6, Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13, Action14 action14, Action15 action15,
            Action16 action16, Action17 action17, Action18 action18,
            Action19 action19, Action20 action20, Action21 action21,
            Action22 action22, Action23 action23, Action24 action24,
            Action25 action25, Action26 action26, Action27 action27,
            Action28 action28, Action29 action29, Action30 action30,
            Action31 action31, Action32 action32, Action33 action33,
            Action34 action34, Action35 action35, Action36 action36,
            Action37 action37, Action38 action38, Action39 action39,
            Action40 action40, Action41 action41) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Action0, typename Action1,
    typename Action2, typename Action3, typename Action4, typename Action5,
    typename Action6, typename Action7, typename Action8, typename Action9,
    typename Action10, typename Action11, typename Action12, typename Action13,
    typename Action14, typename Action15, typename Action16, typename Action17,
    typename Action18, typename Action19, typename Action20, typename Action21,
    typename Action22, typename Action23, typename Action24, typename Action25,
    typename Action26, typename Action27, typename Action28, typename Action29,
    typename Action30, typename Action31, typename Action32, typename Action33,
    typename Action34, typename Action35, typename Action36, typename Action37,
    typename Action38, typename Action39, typename Action40, typename Action41,
    typename Action42>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Action0 action0, Action1 action1, Action2 action2, Action3 action3,
    Action4 action4, Action5 action5, Action6 action6, Action7 action7,
    Action8 action8, Action9 action9, Action10 action10, Action11 action11,
    Action12 action12, Action13 action13, Action14 action14, Action15 action15,
    Action16 action16, Action17 action17, Action18 action18, Action19 action19,
    Action20 action20, Action21 action21, Action22 action22, Action23 action23,
    Action24 action24, Action25 action25, Action26 action26, Action27 action27,
    Action28 action28, Action29 action29, Action30 action30, Action31 action31,
    Action32 action32, Action33 action33, Action34 action34, Action35 action35,
    Action36 action36, Action37 action37, Action38 action38, Action39 action39,
    Action40 action40, Action41 action41, Action42 action42) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Action0,
    typename Action1, typename Action2, typename Action3, typename Action4,
    typename Action5, typename Action6, typename Action7, typename Action8,
    typename Action9, typename Action10, typename Action11, typename Action12,
    typename Action13, typename Action14, typename Action15, typename Action16,
    typename Action17, typename Action18, typename Action19, typename Action20,
    typename Action21, typename Action22, typename Action23, typename Action24,
    typename Action25, typename Action26, typename Action27, typename Action28,
    typename Action29, typename Action30, typename Action31, typename Action32,
    typename Action33, typename Action34, typename Action35, typename Action36,
    typename Action37, typename Action38, typename Action39, typename Action40,
    typename Action41, typename Action42, typename Action43>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Check29 check29, Check30 check30, Check31 check31,
            Check32 check32, Check33 check33, Check34 check34, Check35 check35,
            Check36 check36, Check37 check37, Check38 check38, Check39 check39,
            Check40 check40, Check41 check41, Check42 check42, Check43 check43,
            Action0 action0, Action1 action1, Action2 action2, Action3 action3,
            Action4 action4, Action5 action5, Action6 action6, Action7 action7,
            Action8 action8, Action9 action9, Action10 action10,
            Action11 action11, Action12 action12, Action13 action13,
            Action14 action14, Action15 action15, Action16 action16,
            Action17 action17, Action18 action18, Action19 action19,
            Action20 action20, Action21 action21, Action22 action22,
            Action23 action23, Action24 action24, Action25 action25,
            Action26 action26, Action27 action27, Action28 action28,
            Action29 action29, Action30 action30, Action31 action31,
            Action32 action32, Action33 action33, Action34 action34,
            Action35 action35, Action36 action36, Action37 action37,
            Action38 action38, Action39 action39, Action40 action40,
            Action41 action41, Action42 action42, Action43 action43) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Action0, typename Action1, typename Action2, typename Action3,
    typename Action4, typename Action5, typename Action6, typename Action7,
    typename Action8, typename Action9, typename Action10, typename Action11,
    typename Action12, typename Action13, typename Action14, typename Action15,
    typename Action16, typename Action17, typename Action18, typename Action19,
    typename Action20, typename Action21, typename Action22, typename Action23,
    typename Action24, typename Action25, typename Action26, typename Action27,
    typename Action28, typename Action29, typename Action30, typename Action31,
    typename Action32, typename Action33, typename Action34, typename Action35,
    typename Action36, typename Action37, typename Action38, typename Action39,
    typename Action40, typename Action41, typename Action42, typename Action43,
    typename Action44>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Action0 action0, Action1 action1,
    Action2 action2, Action3 action3, Action4 action4, Action5 action5,
    Action6 action6, Action7 action7, Action8 action8, Action9 action9,
    Action10 action10, Action11 action11, Action12 action12, Action13 action13,
    Action14 action14, Action15 action15, Action16 action16, Action17 action17,
    Action18 action18, Action19 action19, Action20 action20, Action21 action21,
    Action22 action22, Action23 action23, Action24 action24, Action25 action25,
    Action26 action26, Action27 action27, Action28 action28, Action29 action29,
    Action30 action30, Action31 action31, Action32 action32, Action33 action33,
    Action34 action34, Action35 action35, Action36 action36, Action37 action37,
    Action38 action38, Action39 action39, Action40 action40, Action41 action41,
    Action42 action42, Action43 action43, Action44 action44) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Action0, typename Action1, typename Action2,
    typename Action3, typename Action4, typename Action5, typename Action6,
    typename Action7, typename Action8, typename Action9, typename Action10,
    typename Action11, typename Action12, typename Action13, typename Action14,
    typename Action15, typename Action16, typename Action17, typename Action18,
    typename Action19, typename Action20, typename Action21, typename Action22,
    typename Action23, typename Action24, typename Action25, typename Action26,
    typename Action27, typename Action28, typename Action29, typename Action30,
    typename Action31, typename Action32, typename Action33, typename Action34,
    typename Action35, typename Action36, typename Action37, typename Action38,
    typename Action39, typename Action40, typename Action41, typename Action42,
    typename Action43, typename Action44, typename Action45>
auto IfList(CheckArg input, ActionArg action_arg, ActionFail action_fail,
            Check0 check0, Check1 check1, Check2 check2, Check3 check3,
            Check4 check4, Check5 check5, Check6 check6, Check7 check7,
            Check8 check8, Check9 check9, Check10 check10, Check11 check11,
            Check12 check12, Check13 check13, Check14 check14, Check15 check15,
            Check16 check16, Check17 check17, Check18 check18, Check19 check19,
            Check20 check20, Check21 check21, Check22 check22, Check23 check23,
            Check24 check24, Check25 check25, Check26 check26, Check27 check27,
            Check28 check28, Check29 check29, Check30 check30, Check31 check31,
            Check32 check32, Check33 check33, Check34 check34, Check35 check35,
            Check36 check36, Check37 check37, Check38 check38, Check39 check39,
            Check40 check40, Check41 check41, Check42 check42, Check43 check43,
            Check44 check44, Check45 check45, Action0 action0, Action1 action1,
            Action2 action2, Action3 action3, Action4 action4, Action5 action5,
            Action6 action6, Action7 action7, Action8 action8, Action9 action9,
            Action10 action10, Action11 action11, Action12 action12,
            Action13 action13, Action14 action14, Action15 action15,
            Action16 action16, Action17 action17, Action18 action18,
            Action19 action19, Action20 action20, Action21 action21,
            Action22 action22, Action23 action23, Action24 action24,
            Action25 action25, Action26 action26, Action27 action27,
            Action28 action28, Action29 action29, Action30 action30,
            Action31 action31, Action32 action32, Action33 action33,
            Action34 action34, Action35 action35, Action36 action36,
            Action37 action37, Action38 action38, Action39 action39,
            Action40 action40, Action41 action41, Action42 action42,
            Action43 action43, Action44 action44, Action45 action45) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Action0, typename Action1,
    typename Action2, typename Action3, typename Action4, typename Action5,
    typename Action6, typename Action7, typename Action8, typename Action9,
    typename Action10, typename Action11, typename Action12, typename Action13,
    typename Action14, typename Action15, typename Action16, typename Action17,
    typename Action18, typename Action19, typename Action20, typename Action21,
    typename Action22, typename Action23, typename Action24, typename Action25,
    typename Action26, typename Action27, typename Action28, typename Action29,
    typename Action30, typename Action31, typename Action32, typename Action33,
    typename Action34, typename Action35, typename Action36, typename Action37,
    typename Action38, typename Action39, typename Action40, typename Action41,
    typename Action42, typename Action43, typename Action44, typename Action45,
    typename Action46>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Action0 action0, Action1 action1, Action2 action2, Action3 action3,
    Action4 action4, Action5 action5, Action6 action6, Action7 action7,
    Action8 action8, Action9 action9, Action10 action10, Action11 action11,
    Action12 action12, Action13 action13, Action14 action14, Action15 action15,
    Action16 action16, Action17 action17, Action18 action18, Action19 action19,
    Action20 action20, Action21 action21, Action22 action22, Action23 action23,
    Action24 action24, Action25 action25, Action26 action26, Action27 action27,
    Action28 action28, Action29 action29, Action30 action30, Action31 action31,
    Action32 action32, Action33 action33, Action34 action34, Action35 action35,
    Action36 action36, Action37 action37, Action38 action38, Action39 action39,
    Action40 action40, Action41 action41, Action42 action42, Action43 action43,
    Action44 action44, Action45 action45, Action46 action46) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Action0,
    typename Action1, typename Action2, typename Action3, typename Action4,
    typename Action5, typename Action6, typename Action7, typename Action8,
    typename Action9, typename Action10, typename Action11, typename Action12,
    typename Action13, typename Action14, typename Action15, typename Action16,
    typename Action17, typename Action18, typename Action19, typename Action20,
    typename Action21, typename Action22, typename Action23, typename Action24,
    typename Action25, typename Action26, typename Action27, typename Action28,
    typename Action29, typename Action30, typename Action31, typename Action32,
    typename Action33, typename Action34, typename Action35, typename Action36,
    typename Action37, typename Action38, typename Action39, typename Action40,
    typename Action41, typename Action42, typename Action43, typename Action44,
    typename Action45, typename Action46, typename Action47>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Action0 action0, Action1 action1, Action2 action2,
    Action3 action3, Action4 action4, Action5 action5, Action6 action6,
    Action7 action7, Action8 action8, Action9 action9, Action10 action10,
    Action11 action11, Action12 action12, Action13 action13, Action14 action14,
    Action15 action15, Action16 action16, Action17 action17, Action18 action18,
    Action19 action19, Action20 action20, Action21 action21, Action22 action22,
    Action23 action23, Action24 action24, Action25 action25, Action26 action26,
    Action27 action27, Action28 action28, Action29 action29, Action30 action30,
    Action31 action31, Action32 action32, Action33 action33, Action34 action34,
    Action35 action35, Action36 action36, Action37 action37, Action38 action38,
    Action39 action39, Action40 action40, Action41 action41, Action42 action42,
    Action43 action43, Action44 action44, Action45 action45, Action46 action46,
    Action47 action47) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Action0, typename Action1, typename Action2, typename Action3,
    typename Action4, typename Action5, typename Action6, typename Action7,
    typename Action8, typename Action9, typename Action10, typename Action11,
    typename Action12, typename Action13, typename Action14, typename Action15,
    typename Action16, typename Action17, typename Action18, typename Action19,
    typename Action20, typename Action21, typename Action22, typename Action23,
    typename Action24, typename Action25, typename Action26, typename Action27,
    typename Action28, typename Action29, typename Action30, typename Action31,
    typename Action32, typename Action33, typename Action34, typename Action35,
    typename Action36, typename Action37, typename Action38, typename Action39,
    typename Action40, typename Action41, typename Action42, typename Action43,
    typename Action44, typename Action45, typename Action46, typename Action47,
    typename Action48>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Action0 action0, Action1 action1,
    Action2 action2, Action3 action3, Action4 action4, Action5 action5,
    Action6 action6, Action7 action7, Action8 action8, Action9 action9,
    Action10 action10, Action11 action11, Action12 action12, Action13 action13,
    Action14 action14, Action15 action15, Action16 action16, Action17 action17,
    Action18 action18, Action19 action19, Action20 action20, Action21 action21,
    Action22 action22, Action23 action23, Action24 action24, Action25 action25,
    Action26 action26, Action27 action27, Action28 action28, Action29 action29,
    Action30 action30, Action31 action31, Action32 action32, Action33 action33,
    Action34 action34, Action35 action35, Action36 action36, Action37 action37,
    Action38 action38, Action39 action39, Action40 action40, Action41 action41,
    Action42 action42, Action43 action43, Action44 action44, Action45 action45,
    Action46 action46, Action47 action47, Action48 action48) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Check49, typename Action0, typename Action1, typename Action2,
    typename Action3, typename Action4, typename Action5, typename Action6,
    typename Action7, typename Action8, typename Action9, typename Action10,
    typename Action11, typename Action12, typename Action13, typename Action14,
    typename Action15, typename Action16, typename Action17, typename Action18,
    typename Action19, typename Action20, typename Action21, typename Action22,
    typename Action23, typename Action24, typename Action25, typename Action26,
    typename Action27, typename Action28, typename Action29, typename Action30,
    typename Action31, typename Action32, typename Action33, typename Action34,
    typename Action35, typename Action36, typename Action37, typename Action38,
    typename Action39, typename Action40, typename Action41, typename Action42,
    typename Action43, typename Action44, typename Action45, typename Action46,
    typename Action47, typename Action48, typename Action49>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Check49 check49, Action0 action0,
    Action1 action1, Action2 action2, Action3 action3, Action4 action4,
    Action5 action5, Action6 action6, Action7 action7, Action8 action8,
    Action9 action9, Action10 action10, Action11 action11, Action12 action12,
    Action13 action13, Action14 action14, Action15 action15, Action16 action16,
    Action17 action17, Action18 action18, Action19 action19, Action20 action20,
    Action21 action21, Action22 action22, Action23 action23, Action24 action24,
    Action25 action25, Action26 action26, Action27 action27, Action28 action28,
    Action29 action29, Action30 action30, Action31 action31, Action32 action32,
    Action33 action33, Action34 action34, Action35 action35, Action36 action36,
    Action37 action37, Action38 action38, Action39 action39, Action40 action40,
    Action41 action41, Action42 action42, Action43 action43, Action44 action44,
    Action45 action45, Action46 action46, Action47 action47, Action48 action48,
    Action49 action49) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  if (check49(input)) return action49(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Check49, typename Check50, typename Action0, typename Action1,
    typename Action2, typename Action3, typename Action4, typename Action5,
    typename Action6, typename Action7, typename Action8, typename Action9,
    typename Action10, typename Action11, typename Action12, typename Action13,
    typename Action14, typename Action15, typename Action16, typename Action17,
    typename Action18, typename Action19, typename Action20, typename Action21,
    typename Action22, typename Action23, typename Action24, typename Action25,
    typename Action26, typename Action27, typename Action28, typename Action29,
    typename Action30, typename Action31, typename Action32, typename Action33,
    typename Action34, typename Action35, typename Action36, typename Action37,
    typename Action38, typename Action39, typename Action40, typename Action41,
    typename Action42, typename Action43, typename Action44, typename Action45,
    typename Action46, typename Action47, typename Action48, typename Action49,
    typename Action50>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Check49 check49, Check50 check50,
    Action0 action0, Action1 action1, Action2 action2, Action3 action3,
    Action4 action4, Action5 action5, Action6 action6, Action7 action7,
    Action8 action8, Action9 action9, Action10 action10, Action11 action11,
    Action12 action12, Action13 action13, Action14 action14, Action15 action15,
    Action16 action16, Action17 action17, Action18 action18, Action19 action19,
    Action20 action20, Action21 action21, Action22 action22, Action23 action23,
    Action24 action24, Action25 action25, Action26 action26, Action27 action27,
    Action28 action28, Action29 action29, Action30 action30, Action31 action31,
    Action32 action32, Action33 action33, Action34 action34, Action35 action35,
    Action36 action36, Action37 action37, Action38 action38, Action39 action39,
    Action40 action40, Action41 action41, Action42 action42, Action43 action43,
    Action44 action44, Action45 action45, Action46 action46, Action47 action47,
    Action48 action48, Action49 action49, Action50 action50) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  if (check49(input)) return action49(action_arg);
  if (check50(input)) return action50(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Check49, typename Check50, typename Check51, typename Action0,
    typename Action1, typename Action2, typename Action3, typename Action4,
    typename Action5, typename Action6, typename Action7, typename Action8,
    typename Action9, typename Action10, typename Action11, typename Action12,
    typename Action13, typename Action14, typename Action15, typename Action16,
    typename Action17, typename Action18, typename Action19, typename Action20,
    typename Action21, typename Action22, typename Action23, typename Action24,
    typename Action25, typename Action26, typename Action27, typename Action28,
    typename Action29, typename Action30, typename Action31, typename Action32,
    typename Action33, typename Action34, typename Action35, typename Action36,
    typename Action37, typename Action38, typename Action39, typename Action40,
    typename Action41, typename Action42, typename Action43, typename Action44,
    typename Action45, typename Action46, typename Action47, typename Action48,
    typename Action49, typename Action50, typename Action51>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Check49 check49, Check50 check50,
    Check51 check51, Action0 action0, Action1 action1, Action2 action2,
    Action3 action3, Action4 action4, Action5 action5, Action6 action6,
    Action7 action7, Action8 action8, Action9 action9, Action10 action10,
    Action11 action11, Action12 action12, Action13 action13, Action14 action14,
    Action15 action15, Action16 action16, Action17 action17, Action18 action18,
    Action19 action19, Action20 action20, Action21 action21, Action22 action22,
    Action23 action23, Action24 action24, Action25 action25, Action26 action26,
    Action27 action27, Action28 action28, Action29 action29, Action30 action30,
    Action31 action31, Action32 action32, Action33 action33, Action34 action34,
    Action35 action35, Action36 action36, Action37 action37, Action38 action38,
    Action39 action39, Action40 action40, Action41 action41, Action42 action42,
    Action43 action43, Action44 action44, Action45 action45, Action46 action46,
    Action47 action47, Action48 action48, Action49 action49, Action50 action50,
    Action51 action51) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  if (check49(input)) return action49(action_arg);
  if (check50(input)) return action50(action_arg);
  if (check51(input)) return action51(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Check49, typename Check50, typename Check51, typename Check52,
    typename Action0, typename Action1, typename Action2, typename Action3,
    typename Action4, typename Action5, typename Action6, typename Action7,
    typename Action8, typename Action9, typename Action10, typename Action11,
    typename Action12, typename Action13, typename Action14, typename Action15,
    typename Action16, typename Action17, typename Action18, typename Action19,
    typename Action20, typename Action21, typename Action22, typename Action23,
    typename Action24, typename Action25, typename Action26, typename Action27,
    typename Action28, typename Action29, typename Action30, typename Action31,
    typename Action32, typename Action33, typename Action34, typename Action35,
    typename Action36, typename Action37, typename Action38, typename Action39,
    typename Action40, typename Action41, typename Action42, typename Action43,
    typename Action44, typename Action45, typename Action46, typename Action47,
    typename Action48, typename Action49, typename Action50, typename Action51,
    typename Action52>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Check49 check49, Check50 check50,
    Check51 check51, Check52 check52, Action0 action0, Action1 action1,
    Action2 action2, Action3 action3, Action4 action4, Action5 action5,
    Action6 action6, Action7 action7, Action8 action8, Action9 action9,
    Action10 action10, Action11 action11, Action12 action12, Action13 action13,
    Action14 action14, Action15 action15, Action16 action16, Action17 action17,
    Action18 action18, Action19 action19, Action20 action20, Action21 action21,
    Action22 action22, Action23 action23, Action24 action24, Action25 action25,
    Action26 action26, Action27 action27, Action28 action28, Action29 action29,
    Action30 action30, Action31 action31, Action32 action32, Action33 action33,
    Action34 action34, Action35 action35, Action36 action36, Action37 action37,
    Action38 action38, Action39 action39, Action40 action40, Action41 action41,
    Action42 action42, Action43 action43, Action44 action44, Action45 action45,
    Action46 action46, Action47 action47, Action48 action48, Action49 action49,
    Action50 action50, Action51 action51, Action52 action52) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  if (check49(input)) return action49(action_arg);
  if (check50(input)) return action50(action_arg);
  if (check51(input)) return action51(action_arg);
  if (check52(input)) return action52(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Check49, typename Check50, typename Check51, typename Check52,
    typename Check53, typename Action0, typename Action1, typename Action2,
    typename Action3, typename Action4, typename Action5, typename Action6,
    typename Action7, typename Action8, typename Action9, typename Action10,
    typename Action11, typename Action12, typename Action13, typename Action14,
    typename Action15, typename Action16, typename Action17, typename Action18,
    typename Action19, typename Action20, typename Action21, typename Action22,
    typename Action23, typename Action24, typename Action25, typename Action26,
    typename Action27, typename Action28, typename Action29, typename Action30,
    typename Action31, typename Action32, typename Action33, typename Action34,
    typename Action35, typename Action36, typename Action37, typename Action38,
    typename Action39, typename Action40, typename Action41, typename Action42,
    typename Action43, typename Action44, typename Action45, typename Action46,
    typename Action47, typename Action48, typename Action49, typename Action50,
    typename Action51, typename Action52, typename Action53>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Check49 check49, Check50 check50,
    Check51 check51, Check52 check52, Check53 check53, Action0 action0,
    Action1 action1, Action2 action2, Action3 action3, Action4 action4,
    Action5 action5, Action6 action6, Action7 action7, Action8 action8,
    Action9 action9, Action10 action10, Action11 action11, Action12 action12,
    Action13 action13, Action14 action14, Action15 action15, Action16 action16,
    Action17 action17, Action18 action18, Action19 action19, Action20 action20,
    Action21 action21, Action22 action22, Action23 action23, Action24 action24,
    Action25 action25, Action26 action26, Action27 action27, Action28 action28,
    Action29 action29, Action30 action30, Action31 action31, Action32 action32,
    Action33 action33, Action34 action34, Action35 action35, Action36 action36,
    Action37 action37, Action38 action38, Action39 action39, Action40 action40,
    Action41 action41, Action42 action42, Action43 action43, Action44 action44,
    Action45 action45, Action46 action46, Action47 action47, Action48 action48,
    Action49 action49, Action50 action50, Action51 action51, Action52 action52,
    Action53 action53) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  if (check49(input)) return action49(action_arg);
  if (check50(input)) return action50(action_arg);
  if (check51(input)) return action51(action_arg);
  if (check52(input)) return action52(action_arg);
  if (check53(input)) return action53(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Check49, typename Check50, typename Check51, typename Check52,
    typename Check53, typename Check54, typename Action0, typename Action1,
    typename Action2, typename Action3, typename Action4, typename Action5,
    typename Action6, typename Action7, typename Action8, typename Action9,
    typename Action10, typename Action11, typename Action12, typename Action13,
    typename Action14, typename Action15, typename Action16, typename Action17,
    typename Action18, typename Action19, typename Action20, typename Action21,
    typename Action22, typename Action23, typename Action24, typename Action25,
    typename Action26, typename Action27, typename Action28, typename Action29,
    typename Action30, typename Action31, typename Action32, typename Action33,
    typename Action34, typename Action35, typename Action36, typename Action37,
    typename Action38, typename Action39, typename Action40, typename Action41,
    typename Action42, typename Action43, typename Action44, typename Action45,
    typename Action46, typename Action47, typename Action48, typename Action49,
    typename Action50, typename Action51, typename Action52, typename Action53,
    typename Action54>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Check49 check49, Check50 check50,
    Check51 check51, Check52 check52, Check53 check53, Check54 check54,
    Action0 action0, Action1 action1, Action2 action2, Action3 action3,
    Action4 action4, Action5 action5, Action6 action6, Action7 action7,
    Action8 action8, Action9 action9, Action10 action10, Action11 action11,
    Action12 action12, Action13 action13, Action14 action14, Action15 action15,
    Action16 action16, Action17 action17, Action18 action18, Action19 action19,
    Action20 action20, Action21 action21, Action22 action22, Action23 action23,
    Action24 action24, Action25 action25, Action26 action26, Action27 action27,
    Action28 action28, Action29 action29, Action30 action30, Action31 action31,
    Action32 action32, Action33 action33, Action34 action34, Action35 action35,
    Action36 action36, Action37 action37, Action38 action38, Action39 action39,
    Action40 action40, Action41 action41, Action42 action42, Action43 action43,
    Action44 action44, Action45 action45, Action46 action46, Action47 action47,
    Action48 action48, Action49 action49, Action50 action50, Action51 action51,
    Action52 action52, Action53 action53, Action54 action54) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  if (check49(input)) return action49(action_arg);
  if (check50(input)) return action50(action_arg);
  if (check51(input)) return action51(action_arg);
  if (check52(input)) return action52(action_arg);
  if (check53(input)) return action53(action_arg);
  if (check54(input)) return action54(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Check49, typename Check50, typename Check51, typename Check52,
    typename Check53, typename Check54, typename Check55, typename Action0,
    typename Action1, typename Action2, typename Action3, typename Action4,
    typename Action5, typename Action6, typename Action7, typename Action8,
    typename Action9, typename Action10, typename Action11, typename Action12,
    typename Action13, typename Action14, typename Action15, typename Action16,
    typename Action17, typename Action18, typename Action19, typename Action20,
    typename Action21, typename Action22, typename Action23, typename Action24,
    typename Action25, typename Action26, typename Action27, typename Action28,
    typename Action29, typename Action30, typename Action31, typename Action32,
    typename Action33, typename Action34, typename Action35, typename Action36,
    typename Action37, typename Action38, typename Action39, typename Action40,
    typename Action41, typename Action42, typename Action43, typename Action44,
    typename Action45, typename Action46, typename Action47, typename Action48,
    typename Action49, typename Action50, typename Action51, typename Action52,
    typename Action53, typename Action54, typename Action55>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Check49 check49, Check50 check50,
    Check51 check51, Check52 check52, Check53 check53, Check54 check54,
    Check55 check55, Action0 action0, Action1 action1, Action2 action2,
    Action3 action3, Action4 action4, Action5 action5, Action6 action6,
    Action7 action7, Action8 action8, Action9 action9, Action10 action10,
    Action11 action11, Action12 action12, Action13 action13, Action14 action14,
    Action15 action15, Action16 action16, Action17 action17, Action18 action18,
    Action19 action19, Action20 action20, Action21 action21, Action22 action22,
    Action23 action23, Action24 action24, Action25 action25, Action26 action26,
    Action27 action27, Action28 action28, Action29 action29, Action30 action30,
    Action31 action31, Action32 action32, Action33 action33, Action34 action34,
    Action35 action35, Action36 action36, Action37 action37, Action38 action38,
    Action39 action39, Action40 action40, Action41 action41, Action42 action42,
    Action43 action43, Action44 action44, Action45 action45, Action46 action46,
    Action47 action47, Action48 action48, Action49 action49, Action50 action50,
    Action51 action51, Action52 action52, Action53 action53, Action54 action54,
    Action55 action55) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  if (check49(input)) return action49(action_arg);
  if (check50(input)) return action50(action_arg);
  if (check51(input)) return action51(action_arg);
  if (check52(input)) return action52(action_arg);
  if (check53(input)) return action53(action_arg);
  if (check54(input)) return action54(action_arg);
  if (check55(input)) return action55(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Check49, typename Check50, typename Check51, typename Check52,
    typename Check53, typename Check54, typename Check55, typename Check56,
    typename Action0, typename Action1, typename Action2, typename Action3,
    typename Action4, typename Action5, typename Action6, typename Action7,
    typename Action8, typename Action9, typename Action10, typename Action11,
    typename Action12, typename Action13, typename Action14, typename Action15,
    typename Action16, typename Action17, typename Action18, typename Action19,
    typename Action20, typename Action21, typename Action22, typename Action23,
    typename Action24, typename Action25, typename Action26, typename Action27,
    typename Action28, typename Action29, typename Action30, typename Action31,
    typename Action32, typename Action33, typename Action34, typename Action35,
    typename Action36, typename Action37, typename Action38, typename Action39,
    typename Action40, typename Action41, typename Action42, typename Action43,
    typename Action44, typename Action45, typename Action46, typename Action47,
    typename Action48, typename Action49, typename Action50, typename Action51,
    typename Action52, typename Action53, typename Action54, typename Action55,
    typename Action56>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Check49 check49, Check50 check50,
    Check51 check51, Check52 check52, Check53 check53, Check54 check54,
    Check55 check55, Check56 check56, Action0 action0, Action1 action1,
    Action2 action2, Action3 action3, Action4 action4, Action5 action5,
    Action6 action6, Action7 action7, Action8 action8, Action9 action9,
    Action10 action10, Action11 action11, Action12 action12, Action13 action13,
    Action14 action14, Action15 action15, Action16 action16, Action17 action17,
    Action18 action18, Action19 action19, Action20 action20, Action21 action21,
    Action22 action22, Action23 action23, Action24 action24, Action25 action25,
    Action26 action26, Action27 action27, Action28 action28, Action29 action29,
    Action30 action30, Action31 action31, Action32 action32, Action33 action33,
    Action34 action34, Action35 action35, Action36 action36, Action37 action37,
    Action38 action38, Action39 action39, Action40 action40, Action41 action41,
    Action42 action42, Action43 action43, Action44 action44, Action45 action45,
    Action46 action46, Action47 action47, Action48 action48, Action49 action49,
    Action50 action50, Action51 action51, Action52 action52, Action53 action53,
    Action54 action54, Action55 action55, Action56 action56) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  if (check49(input)) return action49(action_arg);
  if (check50(input)) return action50(action_arg);
  if (check51(input)) return action51(action_arg);
  if (check52(input)) return action52(action_arg);
  if (check53(input)) return action53(action_arg);
  if (check54(input)) return action54(action_arg);
  if (check55(input)) return action55(action_arg);
  if (check56(input)) return action56(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Check49, typename Check50, typename Check51, typename Check52,
    typename Check53, typename Check54, typename Check55, typename Check56,
    typename Check57, typename Action0, typename Action1, typename Action2,
    typename Action3, typename Action4, typename Action5, typename Action6,
    typename Action7, typename Action8, typename Action9, typename Action10,
    typename Action11, typename Action12, typename Action13, typename Action14,
    typename Action15, typename Action16, typename Action17, typename Action18,
    typename Action19, typename Action20, typename Action21, typename Action22,
    typename Action23, typename Action24, typename Action25, typename Action26,
    typename Action27, typename Action28, typename Action29, typename Action30,
    typename Action31, typename Action32, typename Action33, typename Action34,
    typename Action35, typename Action36, typename Action37, typename Action38,
    typename Action39, typename Action40, typename Action41, typename Action42,
    typename Action43, typename Action44, typename Action45, typename Action46,
    typename Action47, typename Action48, typename Action49, typename Action50,
    typename Action51, typename Action52, typename Action53, typename Action54,
    typename Action55, typename Action56, typename Action57>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Check49 check49, Check50 check50,
    Check51 check51, Check52 check52, Check53 check53, Check54 check54,
    Check55 check55, Check56 check56, Check57 check57, Action0 action0,
    Action1 action1, Action2 action2, Action3 action3, Action4 action4,
    Action5 action5, Action6 action6, Action7 action7, Action8 action8,
    Action9 action9, Action10 action10, Action11 action11, Action12 action12,
    Action13 action13, Action14 action14, Action15 action15, Action16 action16,
    Action17 action17, Action18 action18, Action19 action19, Action20 action20,
    Action21 action21, Action22 action22, Action23 action23, Action24 action24,
    Action25 action25, Action26 action26, Action27 action27, Action28 action28,
    Action29 action29, Action30 action30, Action31 action31, Action32 action32,
    Action33 action33, Action34 action34, Action35 action35, Action36 action36,
    Action37 action37, Action38 action38, Action39 action39, Action40 action40,
    Action41 action41, Action42 action42, Action43 action43, Action44 action44,
    Action45 action45, Action46 action46, Action47 action47, Action48 action48,
    Action49 action49, Action50 action50, Action51 action51, Action52 action52,
    Action53 action53, Action54 action54, Action55 action55, Action56 action56,
    Action57 action57) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  if (check49(input)) return action49(action_arg);
  if (check50(input)) return action50(action_arg);
  if (check51(input)) return action51(action_arg);
  if (check52(input)) return action52(action_arg);
  if (check53(input)) return action53(action_arg);
  if (check54(input)) return action54(action_arg);
  if (check55(input)) return action55(action_arg);
  if (check56(input)) return action56(action_arg);
  if (check57(input)) return action57(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Check49, typename Check50, typename Check51, typename Check52,
    typename Check53, typename Check54, typename Check55, typename Check56,
    typename Check57, typename Check58, typename Action0, typename Action1,
    typename Action2, typename Action3, typename Action4, typename Action5,
    typename Action6, typename Action7, typename Action8, typename Action9,
    typename Action10, typename Action11, typename Action12, typename Action13,
    typename Action14, typename Action15, typename Action16, typename Action17,
    typename Action18, typename Action19, typename Action20, typename Action21,
    typename Action22, typename Action23, typename Action24, typename Action25,
    typename Action26, typename Action27, typename Action28, typename Action29,
    typename Action30, typename Action31, typename Action32, typename Action33,
    typename Action34, typename Action35, typename Action36, typename Action37,
    typename Action38, typename Action39, typename Action40, typename Action41,
    typename Action42, typename Action43, typename Action44, typename Action45,
    typename Action46, typename Action47, typename Action48, typename Action49,
    typename Action50, typename Action51, typename Action52, typename Action53,
    typename Action54, typename Action55, typename Action56, typename Action57,
    typename Action58>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Check49 check49, Check50 check50,
    Check51 check51, Check52 check52, Check53 check53, Check54 check54,
    Check55 check55, Check56 check56, Check57 check57, Check58 check58,
    Action0 action0, Action1 action1, Action2 action2, Action3 action3,
    Action4 action4, Action5 action5, Action6 action6, Action7 action7,
    Action8 action8, Action9 action9, Action10 action10, Action11 action11,
    Action12 action12, Action13 action13, Action14 action14, Action15 action15,
    Action16 action16, Action17 action17, Action18 action18, Action19 action19,
    Action20 action20, Action21 action21, Action22 action22, Action23 action23,
    Action24 action24, Action25 action25, Action26 action26, Action27 action27,
    Action28 action28, Action29 action29, Action30 action30, Action31 action31,
    Action32 action32, Action33 action33, Action34 action34, Action35 action35,
    Action36 action36, Action37 action37, Action38 action38, Action39 action39,
    Action40 action40, Action41 action41, Action42 action42, Action43 action43,
    Action44 action44, Action45 action45, Action46 action46, Action47 action47,
    Action48 action48, Action49 action49, Action50 action50, Action51 action51,
    Action52 action52, Action53 action53, Action54 action54, Action55 action55,
    Action56 action56, Action57 action57, Action58 action58) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  if (check49(input)) return action49(action_arg);
  if (check50(input)) return action50(action_arg);
  if (check51(input)) return action51(action_arg);
  if (check52(input)) return action52(action_arg);
  if (check53(input)) return action53(action_arg);
  if (check54(input)) return action54(action_arg);
  if (check55(input)) return action55(action_arg);
  if (check56(input)) return action56(action_arg);
  if (check57(input)) return action57(action_arg);
  if (check58(input)) return action58(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Check49, typename Check50, typename Check51, typename Check52,
    typename Check53, typename Check54, typename Check55, typename Check56,
    typename Check57, typename Check58, typename Check59, typename Action0,
    typename Action1, typename Action2, typename Action3, typename Action4,
    typename Action5, typename Action6, typename Action7, typename Action8,
    typename Action9, typename Action10, typename Action11, typename Action12,
    typename Action13, typename Action14, typename Action15, typename Action16,
    typename Action17, typename Action18, typename Action19, typename Action20,
    typename Action21, typename Action22, typename Action23, typename Action24,
    typename Action25, typename Action26, typename Action27, typename Action28,
    typename Action29, typename Action30, typename Action31, typename Action32,
    typename Action33, typename Action34, typename Action35, typename Action36,
    typename Action37, typename Action38, typename Action39, typename Action40,
    typename Action41, typename Action42, typename Action43, typename Action44,
    typename Action45, typename Action46, typename Action47, typename Action48,
    typename Action49, typename Action50, typename Action51, typename Action52,
    typename Action53, typename Action54, typename Action55, typename Action56,
    typename Action57, typename Action58, typename Action59>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Check49 check49, Check50 check50,
    Check51 check51, Check52 check52, Check53 check53, Check54 check54,
    Check55 check55, Check56 check56, Check57 check57, Check58 check58,
    Check59 check59, Action0 action0, Action1 action1, Action2 action2,
    Action3 action3, Action4 action4, Action5 action5, Action6 action6,
    Action7 action7, Action8 action8, Action9 action9, Action10 action10,
    Action11 action11, Action12 action12, Action13 action13, Action14 action14,
    Action15 action15, Action16 action16, Action17 action17, Action18 action18,
    Action19 action19, Action20 action20, Action21 action21, Action22 action22,
    Action23 action23, Action24 action24, Action25 action25, Action26 action26,
    Action27 action27, Action28 action28, Action29 action29, Action30 action30,
    Action31 action31, Action32 action32, Action33 action33, Action34 action34,
    Action35 action35, Action36 action36, Action37 action37, Action38 action38,
    Action39 action39, Action40 action40, Action41 action41, Action42 action42,
    Action43 action43, Action44 action44, Action45 action45, Action46 action46,
    Action47 action47, Action48 action48, Action49 action49, Action50 action50,
    Action51 action51, Action52 action52, Action53 action53, Action54 action54,
    Action55 action55, Action56 action56, Action57 action57, Action58 action58,
    Action59 action59) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  if (check49(input)) return action49(action_arg);
  if (check50(input)) return action50(action_arg);
  if (check51(input)) return action51(action_arg);
  if (check52(input)) return action52(action_arg);
  if (check53(input)) return action53(action_arg);
  if (check54(input)) return action54(action_arg);
  if (check55(input)) return action55(action_arg);
  if (check56(input)) return action56(action_arg);
  if (check57(input)) return action57(action_arg);
  if (check58(input)) return action58(action_arg);
  if (check59(input)) return action59(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Check49, typename Check50, typename Check51, typename Check52,
    typename Check53, typename Check54, typename Check55, typename Check56,
    typename Check57, typename Check58, typename Check59, typename Check60,
    typename Action0, typename Action1, typename Action2, typename Action3,
    typename Action4, typename Action5, typename Action6, typename Action7,
    typename Action8, typename Action9, typename Action10, typename Action11,
    typename Action12, typename Action13, typename Action14, typename Action15,
    typename Action16, typename Action17, typename Action18, typename Action19,
    typename Action20, typename Action21, typename Action22, typename Action23,
    typename Action24, typename Action25, typename Action26, typename Action27,
    typename Action28, typename Action29, typename Action30, typename Action31,
    typename Action32, typename Action33, typename Action34, typename Action35,
    typename Action36, typename Action37, typename Action38, typename Action39,
    typename Action40, typename Action41, typename Action42, typename Action43,
    typename Action44, typename Action45, typename Action46, typename Action47,
    typename Action48, typename Action49, typename Action50, typename Action51,
    typename Action52, typename Action53, typename Action54, typename Action55,
    typename Action56, typename Action57, typename Action58, typename Action59,
    typename Action60>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Check49 check49, Check50 check50,
    Check51 check51, Check52 check52, Check53 check53, Check54 check54,
    Check55 check55, Check56 check56, Check57 check57, Check58 check58,
    Check59 check59, Check60 check60, Action0 action0, Action1 action1,
    Action2 action2, Action3 action3, Action4 action4, Action5 action5,
    Action6 action6, Action7 action7, Action8 action8, Action9 action9,
    Action10 action10, Action11 action11, Action12 action12, Action13 action13,
    Action14 action14, Action15 action15, Action16 action16, Action17 action17,
    Action18 action18, Action19 action19, Action20 action20, Action21 action21,
    Action22 action22, Action23 action23, Action24 action24, Action25 action25,
    Action26 action26, Action27 action27, Action28 action28, Action29 action29,
    Action30 action30, Action31 action31, Action32 action32, Action33 action33,
    Action34 action34, Action35 action35, Action36 action36, Action37 action37,
    Action38 action38, Action39 action39, Action40 action40, Action41 action41,
    Action42 action42, Action43 action43, Action44 action44, Action45 action45,
    Action46 action46, Action47 action47, Action48 action48, Action49 action49,
    Action50 action50, Action51 action51, Action52 action52, Action53 action53,
    Action54 action54, Action55 action55, Action56 action56, Action57 action57,
    Action58 action58, Action59 action59, Action60 action60) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  if (check49(input)) return action49(action_arg);
  if (check50(input)) return action50(action_arg);
  if (check51(input)) return action51(action_arg);
  if (check52(input)) return action52(action_arg);
  if (check53(input)) return action53(action_arg);
  if (check54(input)) return action54(action_arg);
  if (check55(input)) return action55(action_arg);
  if (check56(input)) return action56(action_arg);
  if (check57(input)) return action57(action_arg);
  if (check58(input)) return action58(action_arg);
  if (check59(input)) return action59(action_arg);
  if (check60(input)) return action60(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Check49, typename Check50, typename Check51, typename Check52,
    typename Check53, typename Check54, typename Check55, typename Check56,
    typename Check57, typename Check58, typename Check59, typename Check60,
    typename Check61, typename Action0, typename Action1, typename Action2,
    typename Action3, typename Action4, typename Action5, typename Action6,
    typename Action7, typename Action8, typename Action9, typename Action10,
    typename Action11, typename Action12, typename Action13, typename Action14,
    typename Action15, typename Action16, typename Action17, typename Action18,
    typename Action19, typename Action20, typename Action21, typename Action22,
    typename Action23, typename Action24, typename Action25, typename Action26,
    typename Action27, typename Action28, typename Action29, typename Action30,
    typename Action31, typename Action32, typename Action33, typename Action34,
    typename Action35, typename Action36, typename Action37, typename Action38,
    typename Action39, typename Action40, typename Action41, typename Action42,
    typename Action43, typename Action44, typename Action45, typename Action46,
    typename Action47, typename Action48, typename Action49, typename Action50,
    typename Action51, typename Action52, typename Action53, typename Action54,
    typename Action55, typename Action56, typename Action57, typename Action58,
    typename Action59, typename Action60, typename Action61>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Check49 check49, Check50 check50,
    Check51 check51, Check52 check52, Check53 check53, Check54 check54,
    Check55 check55, Check56 check56, Check57 check57, Check58 check58,
    Check59 check59, Check60 check60, Check61 check61, Action0 action0,
    Action1 action1, Action2 action2, Action3 action3, Action4 action4,
    Action5 action5, Action6 action6, Action7 action7, Action8 action8,
    Action9 action9, Action10 action10, Action11 action11, Action12 action12,
    Action13 action13, Action14 action14, Action15 action15, Action16 action16,
    Action17 action17, Action18 action18, Action19 action19, Action20 action20,
    Action21 action21, Action22 action22, Action23 action23, Action24 action24,
    Action25 action25, Action26 action26, Action27 action27, Action28 action28,
    Action29 action29, Action30 action30, Action31 action31, Action32 action32,
    Action33 action33, Action34 action34, Action35 action35, Action36 action36,
    Action37 action37, Action38 action38, Action39 action39, Action40 action40,
    Action41 action41, Action42 action42, Action43 action43, Action44 action44,
    Action45 action45, Action46 action46, Action47 action47, Action48 action48,
    Action49 action49, Action50 action50, Action51 action51, Action52 action52,
    Action53 action53, Action54 action54, Action55 action55, Action56 action56,
    Action57 action57, Action58 action58, Action59 action59, Action60 action60,
    Action61 action61) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  if (check49(input)) return action49(action_arg);
  if (check50(input)) return action50(action_arg);
  if (check51(input)) return action51(action_arg);
  if (check52(input)) return action52(action_arg);
  if (check53(input)) return action53(action_arg);
  if (check54(input)) return action54(action_arg);
  if (check55(input)) return action55(action_arg);
  if (check56(input)) return action56(action_arg);
  if (check57(input)) return action57(action_arg);
  if (check58(input)) return action58(action_arg);
  if (check59(input)) return action59(action_arg);
  if (check60(input)) return action60(action_arg);
  if (check61(input)) return action61(action_arg);
  return action_fail(action_arg);
}

template <
    typename CheckArg, typename ActionArg, typename ActionFail, typename Check0,
    typename Check1, typename Check2, typename Check3, typename Check4,
    typename Check5, typename Check6, typename Check7, typename Check8,
    typename Check9, typename Check10, typename Check11, typename Check12,
    typename Check13, typename Check14, typename Check15, typename Check16,
    typename Check17, typename Check18, typename Check19, typename Check20,
    typename Check21, typename Check22, typename Check23, typename Check24,
    typename Check25, typename Check26, typename Check27, typename Check28,
    typename Check29, typename Check30, typename Check31, typename Check32,
    typename Check33, typename Check34, typename Check35, typename Check36,
    typename Check37, typename Check38, typename Check39, typename Check40,
    typename Check41, typename Check42, typename Check43, typename Check44,
    typename Check45, typename Check46, typename Check47, typename Check48,
    typename Check49, typename Check50, typename Check51, typename Check52,
    typename Check53, typename Check54, typename Check55, typename Check56,
    typename Check57, typename Check58, typename Check59, typename Check60,
    typename Check61, typename Check62, typename Action0, typename Action1,
    typename Action2, typename Action3, typename Action4, typename Action5,
    typename Action6, typename Action7, typename Action8, typename Action9,
    typename Action10, typename Action11, typename Action12, typename Action13,
    typename Action14, typename Action15, typename Action16, typename Action17,
    typename Action18, typename Action19, typename Action20, typename Action21,
    typename Action22, typename Action23, typename Action24, typename Action25,
    typename Action26, typename Action27, typename Action28, typename Action29,
    typename Action30, typename Action31, typename Action32, typename Action33,
    typename Action34, typename Action35, typename Action36, typename Action37,
    typename Action38, typename Action39, typename Action40, typename Action41,
    typename Action42, typename Action43, typename Action44, typename Action45,
    typename Action46, typename Action47, typename Action48, typename Action49,
    typename Action50, typename Action51, typename Action52, typename Action53,
    typename Action54, typename Action55, typename Action56, typename Action57,
    typename Action58, typename Action59, typename Action60, typename Action61,
    typename Action62>
auto IfList(
    CheckArg input, ActionArg action_arg, ActionFail action_fail, Check0 check0,
    Check1 check1, Check2 check2, Check3 check3, Check4 check4, Check5 check5,
    Check6 check6, Check7 check7, Check8 check8, Check9 check9, Check10 check10,
    Check11 check11, Check12 check12, Check13 check13, Check14 check14,
    Check15 check15, Check16 check16, Check17 check17, Check18 check18,
    Check19 check19, Check20 check20, Check21 check21, Check22 check22,
    Check23 check23, Check24 check24, Check25 check25, Check26 check26,
    Check27 check27, Check28 check28, Check29 check29, Check30 check30,
    Check31 check31, Check32 check32, Check33 check33, Check34 check34,
    Check35 check35, Check36 check36, Check37 check37, Check38 check38,
    Check39 check39, Check40 check40, Check41 check41, Check42 check42,
    Check43 check43, Check44 check44, Check45 check45, Check46 check46,
    Check47 check47, Check48 check48, Check49 check49, Check50 check50,
    Check51 check51, Check52 check52, Check53 check53, Check54 check54,
    Check55 check55, Check56 check56, Check57 check57, Check58 check58,
    Check59 check59, Check60 check60, Check61 check61, Check62 check62,
    Action0 action0, Action1 action1, Action2 action2, Action3 action3,
    Action4 action4, Action5 action5, Action6 action6, Action7 action7,
    Action8 action8, Action9 action9, Action10 action10, Action11 action11,
    Action12 action12, Action13 action13, Action14 action14, Action15 action15,
    Action16 action16, Action17 action17, Action18 action18, Action19 action19,
    Action20 action20, Action21 action21, Action22 action22, Action23 action23,
    Action24 action24, Action25 action25, Action26 action26, Action27 action27,
    Action28 action28, Action29 action29, Action30 action30, Action31 action31,
    Action32 action32, Action33 action33, Action34 action34, Action35 action35,
    Action36 action36, Action37 action37, Action38 action38, Action39 action39,
    Action40 action40, Action41 action41, Action42 action42, Action43 action43,
    Action44 action44, Action45 action45, Action46 action46, Action47 action47,
    Action48 action48, Action49 action49, Action50 action50, Action51 action51,
    Action52 action52, Action53 action53, Action54 action54, Action55 action55,
    Action56 action56, Action57 action57, Action58 action58, Action59 action59,
    Action60 action60, Action61 action61, Action62 action62) {
  if (check0(input)) return action0(action_arg);
  if (check1(input)) return action1(action_arg);
  if (check2(input)) return action2(action_arg);
  if (check3(input)) return action3(action_arg);
  if (check4(input)) return action4(action_arg);
  if (check5(input)) return action5(action_arg);
  if (check6(input)) return action6(action_arg);
  if (check7(input)) return action7(action_arg);
  if (check8(input)) return action8(action_arg);
  if (check9(input)) return action9(action_arg);
  if (check10(input)) return action10(action_arg);
  if (check11(input)) return action11(action_arg);
  if (check12(input)) return action12(action_arg);
  if (check13(input)) return action13(action_arg);
  if (check14(input)) return action14(action_arg);
  if (check15(input)) return action15(action_arg);
  if (check16(input)) return action16(action_arg);
  if (check17(input)) return action17(action_arg);
  if (check18(input)) return action18(action_arg);
  if (check19(input)) return action19(action_arg);
  if (check20(input)) return action20(action_arg);
  if (check21(input)) return action21(action_arg);
  if (check22(input)) return action22(action_arg);
  if (check23(input)) return action23(action_arg);
  if (check24(input)) return action24(action_arg);
  if (check25(input)) return action25(action_arg);
  if (check26(input)) return action26(action_arg);
  if (check27(input)) return action27(action_arg);
  if (check28(input)) return action28(action_arg);
  if (check29(input)) return action29(action_arg);
  if (check30(input)) return action30(action_arg);
  if (check31(input)) return action31(action_arg);
  if (check32(input)) return action32(action_arg);
  if (check33(input)) return action33(action_arg);
  if (check34(input)) return action34(action_arg);
  if (check35(input)) return action35(action_arg);
  if (check36(input)) return action36(action_arg);
  if (check37(input)) return action37(action_arg);
  if (check38(input)) return action38(action_arg);
  if (check39(input)) return action39(action_arg);
  if (check40(input)) return action40(action_arg);
  if (check41(input)) return action41(action_arg);
  if (check42(input)) return action42(action_arg);
  if (check43(input)) return action43(action_arg);
  if (check44(input)) return action44(action_arg);
  if (check45(input)) return action45(action_arg);
  if (check46(input)) return action46(action_arg);
  if (check47(input)) return action47(action_arg);
  if (check48(input)) return action48(action_arg);
  if (check49(input)) return action49(action_arg);
  if (check50(input)) return action50(action_arg);
  if (check51(input)) return action51(action_arg);
  if (check52(input)) return action52(action_arg);
  if (check53(input)) return action53(action_arg);
  if (check54(input)) return action54(action_arg);
  if (check55(input)) return action55(action_arg);
  if (check56(input)) return action56(action_arg);
  if (check57(input)) return action57(action_arg);
  if (check58(input)) return action58(action_arg);
  if (check59(input)) return action59(action_arg);
  if (check60(input)) return action60(action_arg);
  if (check61(input)) return action61(action_arg);
  if (check62(input)) return action62(action_arg);
  return action_fail(action_arg);
}

}  // namespace grpc_core

#endif  // GRPC_SRC_CORE_LIB_GPRPP_IF_LIST_H