#define DEF_FUNC(x)                                                            \
  void x() {}
#define DEF_2_FUNCS(x) DEF_FUNC(x##_1) DEF_FUNC(x##_2)
#define DEF_4_FUNCS(x) DEF_2_FUNCS(x##_1) DEF_2_FUNCS(x##_2)
#define DEF_8_FUNCS(x) DEF_4_FUNCS(x##_1) DEF_4_FUNCS(x##_2)
#define DEF_16_FUNCS(x) DEF_8_FUNCS(x##_1) DEF_8_FUNCS(x##_2)
#define DEF_32_FUNCS(x) DEF_16_FUNCS(x##_1) DEF_16_FUNCS(x##_2)
#define DEF_64_FUNCS(x) DEF_32_FUNCS(x##_1) DEF_32_FUNCS(x##_2)
#define DEF_128_FUNCS(x) DEF_64_FUNCS(x##_1) DEF_64_FUNCS(x##_2)
#define DEF_256_FUNCS(x) DEF_128_FUNCS(x##_1) DEF_128_FUNCS(x##_2)
#define DEF_512_FUNCS(x) DEF_256_FUNCS(x##_1) DEF_256_FUNCS(x##_2)

#define FUNC_ADDR(x) &x,
#define FUNC_2_ADDRS(x) FUNC_ADDR(x##_1) FUNC_ADDR(x##_2)
#define FUNC_4_ADDRS(x) FUNC_2_ADDRS(x##_1) FUNC_2_ADDRS(x##_2)
#define FUNC_8_ADDRS(x) FUNC_4_ADDRS(x##_1) FUNC_4_ADDRS(x##_2)
#define FUNC_16_ADDRS(x) FUNC_8_ADDRS(x##_1) FUNC_8_ADDRS(x##_2)
#define FUNC_32_ADDRS(x) FUNC_16_ADDRS(x##_1) FUNC_16_ADDRS(x##_2)
#define FUNC_64_ADDRS(x) FUNC_32_ADDRS(x##_1) FUNC_32_ADDRS(x##_2)
#define FUNC_128_ADDRS(x) FUNC_64_ADDRS(x##_1) FUNC_64_ADDRS(x##_2)
#define FUNC_256_ADDRS(x) FUNC_128_ADDRS(x##_1) FUNC_128_ADDRS(x##_2)
#define FUNC_512_ADDRS(x) FUNC_256_ADDRS(x##_1) FUNC_256_ADDRS(x##_2)

DEF_512_FUNCS(foo)
void *CalleeAddrs[] = {FUNC_512_ADDRS(foo)};

typedef void (*FPT)(void);

FPT getFunc(int I) { return CalleeAddrs[I]; }

int main() {
  int I;
  for (I = 0; I < 512; I++) {
    FPT Fp = getFunc(I);
    int J;
    for (J = 0; J < 1000 - I; J++)
      Fp();

    Fp = getFunc(511 - I);
    for (J = 0; J < 2000 - I; J++)
      Fp();
  }

  return 0;
}

// CHECK-LABEL:  main:
// CHECK:	[ 0, foo_1_1_1_1_1_1_1_1_1, 1000 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_1_1_1_2, 999 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_1_1_2_1, 998 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_1_1_2_2, 997 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_1_2_1_1, 996 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_1_2_1_2, 995 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_1_2_2_1, 994 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_1_2_2_2, 993 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_1_1_1, 992 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_1_1_2, 991 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_1_2_1, 990 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_1_2_2, 989 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_2_1_1, 988 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_2_1_2, 987 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_2_2_1, 986 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_2_2_2, 985 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_1_1_1, 984 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_1_1_2, 983 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_1_2_1, 982 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_1_2_2, 981 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_2_1_1, 980 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_2_1_2, 979 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_2_2_1, 978 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_2_2_2, 977 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_1_1_1, 976 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_1_1_2, 975 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_1_2_1, 974 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_1_2_2, 973 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_2_1_1, 972 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_2_1_2, 971 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_2_2_1, 970 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_2_2_2, 969 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_1_1_1, 968 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_1_1_2, 967 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_1_2_1, 966 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_1_2_2, 965 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_2_1_1, 964 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_2_1_2, 963 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_2_2_1, 962 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_2_2_2, 961 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_1_1_1, 960 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_1_1_2, 959 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_1_2_1, 958 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_1_2_2, 957 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_2_1_1, 956 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_2_1_2, 955 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_2_2_1, 954 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_2_2_2, 953 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_1_1_1, 952 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_1_1_2, 951 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_1_2_1, 950 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_1_2_2, 949 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_2_1_1, 948 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_2_1_2, 947 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_2_2_1, 946 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_2_2_2, 945 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_1_1_1, 944 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_1_1_2, 943 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_1_2_1, 942 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_1_2_2, 941 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_2_1_1, 940 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_2_1_2, 939 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_2_2_1, 938 ]
// CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_2_2_2, 937 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_1_1_1, 936 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_1_1_2, 935 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_1_2_1, 934 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_1_2_2, 933 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_2_1_1, 932 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_2_1_2, 931 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_2_2_1, 930 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_2_2_2, 929 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_1_1_1, 928 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_1_1_2, 927 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_1_2_1, 926 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_1_2_2, 925 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_2_1_1, 924 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_2_1_2, 923 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_2_2_1, 922 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_2_2_2, 921 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_1_1_1, 920 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_1_1_2, 919 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_1_2_1, 918 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_1_2_2, 917 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_2_1_1, 916 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_2_1_2, 915 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_2_2_1, 914 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_2_2_2, 913 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_1_1_1, 912 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_1_1_2, 911 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_1_2_1, 910 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_1_2_2, 909 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_2_1_1, 908 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_2_1_2, 907 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_2_2_1, 906 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_2_2_2, 905 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_1_1_1, 904 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_1_1_2, 903 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_1_2_1, 902 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_1_2_2, 901 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_2_1_1, 900 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_2_1_2, 899 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_2_2_1, 898 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_2_2_2, 897 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_1_1_1, 896 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_1_1_2, 895 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_1_2_1, 894 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_1_2_2, 893 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_2_1_1, 892 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_2_1_2, 891 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_2_2_1, 890 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_2_2_2, 889 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_1_1_1, 888 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_1_1_2, 887 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_1_2_1, 886 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_1_2_2, 885 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_2_1_1, 884 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_2_1_2, 883 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_2_2_1, 882 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_2_2_2, 881 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_1_1_1, 880 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_1_1_2, 879 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_1_2_1, 878 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_1_2_2, 877 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_2_1_1, 876 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_2_1_2, 875 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_2_2_1, 874 ]
// CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_2_2_2, 873 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_1_1_1, 872 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_1_1_2, 871 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_1_2_1, 870 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_1_2_2, 869 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_2_1_1, 868 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_2_1_2, 867 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_2_2_1, 866 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_2_2_2, 865 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_1_1_1, 864 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_1_1_2, 863 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_1_2_1, 862 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_1_2_2, 861 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_2_1_1, 860 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_2_1_2, 859 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_2_2_1, 858 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_2_2_2, 857 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_1_1_1, 856 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_1_1_2, 855 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_1_2_1, 854 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_1_2_2, 853 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_2_1_1, 852 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_2_1_2, 851 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_2_2_1, 850 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_2_2_2, 849 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_1_1_1, 848 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_1_1_2, 847 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_1_2_1, 846 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_1_2_2, 845 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_2_1_1, 844 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_2_1_2, 843 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_2_2_1, 842 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_2_2_2, 841 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_1_1_1, 840 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_1_1_2, 839 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_1_2_1, 838 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_1_2_2, 837 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_2_1_1, 836 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_2_1_2, 835 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_2_2_1, 834 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_2_2_2, 833 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_1_1_1, 832 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_1_1_2, 831 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_1_2_1, 830 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_1_2_2, 829 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_2_1_1, 828 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_2_1_2, 827 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_2_2_1, 826 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_2_2_2, 825 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_1_1_1, 824 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_1_1_2, 823 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_1_2_1, 822 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_1_2_2, 821 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_2_1_1, 820 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_2_1_2, 819 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_2_2_1, 818 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_2_2_2, 817 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_1_1_1, 816 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_1_1_2, 815 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_1_2_1, 814 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_1_2_2, 813 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_2_1_1, 812 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_2_1_2, 811 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_2_2_1, 810 ]
// CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_2_2_2, 809 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_1_1_1, 808 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_1_1_2, 807 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_1_2_1, 806 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_1_2_2, 805 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_2_1_1, 804 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_2_1_2, 803 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_2_2_1, 802 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_2_2_2, 801 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_1_1_1, 800 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_1_1_2, 799 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_1_2_1, 798 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_1_2_2, 797 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_2_1_1, 796 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_2_1_2, 795 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_2_2_1, 794 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_2_2_2, 793 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_1_1_1, 792 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_1_1_2, 791 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_1_2_1, 790 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_1_2_2, 789 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_2_1_1, 788 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_2_1_2, 787 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_2_2_1, 786 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_2_2_2, 785 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_1_1_1, 784 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_1_1_2, 783 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_1_2_1, 782 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_1_2_2, 781 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_2_1_1, 780 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_2_1_2, 779 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_2_2_1, 778 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_2_2_2, 777 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_1_1_1, 776 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_1_1_2, 775 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_1_2_1, 774 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_1_2_2, 773 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_2_1_1, 772 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_2_1_2, 771 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_2_2_1, 770 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_2_2_2, 769 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_1_1_1, 768 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_1_1_2, 767 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_1_2_1, 766 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_1_2_2, 765 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_2_1_1, 764 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_2_1_2, 763 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_2_2_1, 762 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_2_2_2, 761 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_1_1_1, 760 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_1_1_2, 759 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_1_2_1, 758 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_1_2_2, 757 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_2_1_1, 756 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_2_1_2, 755 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_2_2_1, 754 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_2_2_2, 753 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_2_1_1_1, 752 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_2_1_1_2, 751 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_2_1_2_1, 750 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_2_1_2_2, 749 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_2_2_1_1, 748 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_2_2_1_2, 747 ]
// CHECK-NEXT:	[ 0, foo_1_2_2_2_2_2_2_2_1, 746 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_2_2_2, 2000 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_2_2_1, 1999 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_2_1_2, 1998 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_2_1_1, 1997 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_1_2_2, 1996 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_1_2_1, 1995 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_1_1_2, 1994 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_1_1_1, 1993 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_2_2_2, 1992 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_2_2_1, 1991 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_2_1_2, 1990 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_2_1_1, 1989 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_1_2_2, 1988 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_1_2_1, 1987 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_1_1_2, 1986 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_1_1_1, 1985 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_2_2_2, 1984 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_2_2_1, 1983 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_2_1_2, 1982 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_2_1_1, 1981 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_1_2_2, 1980 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_1_2_1, 1979 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_1_1_2, 1978 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_1_1_1, 1977 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_2_2_2, 1976 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_2_2_1, 1975 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_2_1_2, 1974 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_2_1_1, 1973 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_1_2_2, 1972 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_1_2_1, 1971 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_1_1_2, 1970 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_1_1_1, 1969 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_2_2_2, 1968 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_2_2_1, 1967 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_2_1_2, 1966 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_2_1_1, 1965 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_1_2_2, 1964 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_1_2_1, 1963 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_1_1_2, 1962 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_1_1_1, 1961 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_2_2_2, 1960 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_2_2_1, 1959 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_2_1_2, 1958 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_2_1_1, 1957 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_1_2_2, 1956 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_1_2_1, 1955 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_1_1_2, 1954 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_1_1_1, 1953 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_2_2_2, 1952 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_2_2_1, 1951 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_2_1_2, 1950 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_2_1_1, 1949 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_1_2_2, 1948 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_1_2_1, 1947 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_1_1_2, 1946 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_1_1_1, 1945 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_2_2_2, 1944 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_2_2_1, 1943 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_2_1_2, 1942 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_2_1_1, 1941 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_1_2_2, 1940 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_1_2_1, 1939 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_1_1_2, 1938 ]
// CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_1_1_1, 1937 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_2_2_2, 1936 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_2_2_1, 1935 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_2_1_2, 1934 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_2_1_1, 1933 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_1_2_2, 1932 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_1_2_1, 1931 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_1_1_2, 1930 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_1_1_1, 1929 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_2_2_2, 1928 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_2_2_1, 1927 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_2_1_2, 1926 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_2_1_1, 1925 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_1_2_2, 1924 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_1_2_1, 1923 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_1_1_2, 1922 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_1_1_1, 1921 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_2_2_2, 1920 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_2_2_1, 1919 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_2_1_2, 1918 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_2_1_1, 1917 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_1_2_2, 1916 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_1_2_1, 1915 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_1_1_2, 1914 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_1_1_1, 1913 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_2_2_2, 1912 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_2_2_1, 1911 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_2_1_2, 1910 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_2_1_1, 1909 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_1_2_2, 1908 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_1_2_1, 1907 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_1_1_2, 1906 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_1_1_1, 1905 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_2_2_2, 1904 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_2_2_1, 1903 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_2_1_2, 1902 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_2_1_1, 1901 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_1_2_2, 1900 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_1_2_1, 1899 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_1_1_2, 1898 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_1_1_1, 1897 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_2_2_2, 1896 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_2_2_1, 1895 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_2_1_2, 1894 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_2_1_1, 1893 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_1_2_2, 1892 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_1_2_1, 1891 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_1_1_2, 1890 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_1_1_1, 1889 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_2_2_2, 1888 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_2_2_1, 1887 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_2_1_2, 1886 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_2_1_1, 1885 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_1_2_2, 1884 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_1_2_1, 1883 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_1_1_2, 1882 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_1_1_1, 1881 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_2_2_2, 1880 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_2_2_1, 1879 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_2_1_2, 1878 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_2_1_1, 1877 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_1_2_2, 1876 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_1_2_1, 1875 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_1_1_2, 1874 ]
// CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_1_1_1, 1873 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_2_2_2, 1872 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_2_2_1, 1871 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_2_1_2, 1870 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_2_1_1, 1869 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_1_2_2, 1868 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_1_2_1, 1867 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_1_1_2, 1866 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_1_1_1, 1865 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_2_2_2, 1864 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_2_2_1, 1863 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_2_1_2, 1862 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_2_1_1, 1861 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_1_2_2, 1860 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_1_2_1, 1859 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_1_1_2, 1858 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_1_1_1, 1857 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_2_2_2, 1856 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_2_2_1, 1855 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_2_1_2, 1854 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_2_1_1, 1853 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_1_2_2, 1852 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_1_2_1, 1851 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_1_1_2, 1850 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_1_1_1, 1849 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_2_2_2, 1848 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_2_2_1, 1847 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_2_1_2, 1846 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_2_1_1, 1845 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_1_2_2, 1844 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_1_2_1, 1843 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_1_1_2, 1842 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_1_1_1, 1841 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_2_2_2, 1840 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_2_2_1, 1839 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_2_1_2, 1838 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_2_1_1, 1837 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_1_2_2, 1836 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_1_2_1, 1835 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_1_1_2, 1834 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_1_1_1, 1833 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_2_2_2, 1832 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_2_2_1, 1831 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_2_1_2, 1830 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_2_1_1, 1829 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_1_2_2, 1828 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_1_2_1, 1827 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_1_1_2, 1826 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_1_1_1, 1825 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_2_2_2, 1824 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_2_2_1, 1823 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_2_1_2, 1822 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_2_1_1, 1821 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_1_2_2, 1820 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_1_2_1, 1819 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_1_1_2, 1818 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_1_1_1, 1817 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_2_2_2, 1816 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_2_2_1, 1815 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_2_1_2, 1814 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_2_1_1, 1813 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_1_2_2, 1812 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_1_2_1, 1811 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_1_1_2, 1810 ]
// CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_1_1_1, 1809 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_2_2_2, 1808 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_2_2_1, 1807 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_2_1_2, 1806 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_2_1_1, 1805 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_1_2_2, 1804 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_1_2_1, 1803 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_1_1_2, 1802 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_1_1_1, 1801 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_2_2_2, 1800 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_2_2_1, 1799 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_2_1_2, 1798 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_2_1_1, 1797 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_1_2_2, 1796 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_1_2_1, 1795 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_1_1_2, 1794 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_1_1_1, 1793 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_2_2_2, 1792 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_2_2_1, 1791 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_2_1_2, 1790 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_2_1_1, 1789 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_1_2_2, 1788 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_1_2_1, 1787 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_1_1_2, 1786 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_1_1_1, 1785 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_2_2_2, 1784 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_2_2_1, 1783 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_2_1_2, 1782 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_2_1_1, 1781 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_1_2_2, 1780 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_1_2_1, 1779 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_1_1_2, 1778 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_1_1_1, 1777 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_2_2_2, 1776 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_2_2_1, 1775 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_2_1_2, 1774 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_2_1_1, 1773 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_1_2_2, 1772 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_1_2_1, 1771 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_1_1_2, 1770 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_1_1_1, 1769 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_2_2_2, 1768 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_2_2_1, 1767 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_2_1_2, 1766 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_2_1_1, 1765 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_1_2_2, 1764 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_1_2_1, 1763 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_1_1_2, 1762 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_1_1_1, 1761 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_2_2_2, 1760 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_2_2_1, 1759 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_2_1_2, 1758 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_2_1_1, 1757 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_1_2_2, 1756 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_1_2_1, 1755 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_1_1_2, 1754 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_1_1_1, 1753 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_1_2_2_2, 1752 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_1_2_2_1, 1751 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_1_2_1_2, 1750 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_1_2_1_1, 1749 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_1_1_2_2, 1748 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_1_1_2_1, 1747 ]
// CHECK-NEXT:	[ 1, foo_2_1_1_1_1_1_1_1_2, 1746 ]