Home | History | Annotate | Line # | Download | only in Inputs 
      1 #define DEF_FUNC(x)                                                            \
      2   void x() {}
      3 #define DEF_2_FUNCS(x) DEF_FUNC(x##_1) DEF_FUNC(x##_2)
      4 #define DEF_4_FUNCS(x) DEF_2_FUNCS(x##_1) DEF_2_FUNCS(x##_2)
      5 #define DEF_8_FUNCS(x) DEF_4_FUNCS(x##_1) DEF_4_FUNCS(x##_2)
      6 #define DEF_16_FUNCS(x) DEF_8_FUNCS(x##_1) DEF_8_FUNCS(x##_2)
      7 #define DEF_32_FUNCS(x) DEF_16_FUNCS(x##_1) DEF_16_FUNCS(x##_2)
      8 #define DEF_64_FUNCS(x) DEF_32_FUNCS(x##_1) DEF_32_FUNCS(x##_2)
      9 #define DEF_128_FUNCS(x) DEF_64_FUNCS(x##_1) DEF_64_FUNCS(x##_2)
     10 #define DEF_256_FUNCS(x) DEF_128_FUNCS(x##_1) DEF_128_FUNCS(x##_2)
     11 #define DEF_512_FUNCS(x) DEF_256_FUNCS(x##_1) DEF_256_FUNCS(x##_2)
     12 
     13 #define FUNC_ADDR(x) &x,
     14 #define FUNC_2_ADDRS(x) FUNC_ADDR(x##_1) FUNC_ADDR(x##_2)
     15 #define FUNC_4_ADDRS(x) FUNC_2_ADDRS(x##_1) FUNC_2_ADDRS(x##_2)
     16 #define FUNC_8_ADDRS(x) FUNC_4_ADDRS(x##_1) FUNC_4_ADDRS(x##_2)
     17 #define FUNC_16_ADDRS(x) FUNC_8_ADDRS(x##_1) FUNC_8_ADDRS(x##_2)
     18 #define FUNC_32_ADDRS(x) FUNC_16_ADDRS(x##_1) FUNC_16_ADDRS(x##_2)
     19 #define FUNC_64_ADDRS(x) FUNC_32_ADDRS(x##_1) FUNC_32_ADDRS(x##_2)
     20 #define FUNC_128_ADDRS(x) FUNC_64_ADDRS(x##_1) FUNC_64_ADDRS(x##_2)
     21 #define FUNC_256_ADDRS(x) FUNC_128_ADDRS(x##_1) FUNC_128_ADDRS(x##_2)
     22 #define FUNC_512_ADDRS(x) FUNC_256_ADDRS(x##_1) FUNC_256_ADDRS(x##_2)
     23 
     24 DEF_512_FUNCS(foo)
     25 void *CalleeAddrs[] = {FUNC_512_ADDRS(foo)};
     26 
     27 typedef void (*FPT)(void);
     28 
     29 FPT getFunc(int I) { return CalleeAddrs[I]; }
     30 
     31 int main() {
     32   int I;
     33   for (I = 0; I < 512; I++) {
     34     FPT Fp = getFunc(I);
     35     int J;
     36     for (J = 0; J < 1000 - I; J++)
     37       Fp();
     38 
     39     Fp = getFunc(511 - I);
     40     for (J = 0; J < 2000 - I; J++)
     41       Fp();
     42   }
     43 
     44   return 0;
     45 }
     46 
     47 // CHECK-LABEL:  main:
     48 // CHECK:	[ 0, foo_1_1_1_1_1_1_1_1_1, 1000 ]
     49 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_1_1_1_2, 999 ]
     50 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_1_1_2_1, 998 ]
     51 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_1_1_2_2, 997 ]
     52 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_1_2_1_1, 996 ]
     53 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_1_2_1_2, 995 ]
     54 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_1_2_2_1, 994 ]
     55 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_1_2_2_2, 993 ]
     56 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_1_1_1, 992 ]
     57 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_1_1_2, 991 ]
     58 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_1_2_1, 990 ]
     59 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_1_2_2, 989 ]
     60 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_2_1_1, 988 ]
     61 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_2_1_2, 987 ]
     62 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_2_2_1, 986 ]
     63 // CHECK-NEXT:	[ 0, foo_1_1_1_1_1_2_2_2_2, 985 ]
     64 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_1_1_1, 984 ]
     65 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_1_1_2, 983 ]
     66 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_1_2_1, 982 ]
     67 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_1_2_2, 981 ]
     68 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_2_1_1, 980 ]
     69 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_2_1_2, 979 ]
     70 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_2_2_1, 978 ]
     71 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_1_2_2_2, 977 ]
     72 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_1_1_1, 976 ]
     73 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_1_1_2, 975 ]
     74 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_1_2_1, 974 ]
     75 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_1_2_2, 973 ]
     76 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_2_1_1, 972 ]
     77 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_2_1_2, 971 ]
     78 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_2_2_1, 970 ]
     79 // CHECK-NEXT:	[ 0, foo_1_1_1_1_2_2_2_2_2, 969 ]
     80 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_1_1_1, 968 ]
     81 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_1_1_2, 967 ]
     82 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_1_2_1, 966 ]
     83 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_1_2_2, 965 ]
     84 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_2_1_1, 964 ]
     85 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_2_1_2, 963 ]
     86 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_2_2_1, 962 ]
     87 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_1_2_2_2, 961 ]
     88 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_1_1_1, 960 ]
     89 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_1_1_2, 959 ]
     90 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_1_2_1, 958 ]
     91 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_1_2_2, 957 ]
     92 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_2_1_1, 956 ]
     93 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_2_1_2, 955 ]
     94 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_2_2_1, 954 ]
     95 // CHECK-NEXT:	[ 0, foo_1_1_1_2_1_2_2_2_2, 953 ]
     96 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_1_1_1, 952 ]
     97 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_1_1_2, 951 ]
     98 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_1_2_1, 950 ]
     99 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_1_2_2, 949 ]
    100 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_2_1_1, 948 ]
    101 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_2_1_2, 947 ]
    102 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_2_2_1, 946 ]
    103 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_1_2_2_2, 945 ]
    104 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_1_1_1, 944 ]
    105 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_1_1_2, 943 ]
    106 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_1_2_1, 942 ]
    107 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_1_2_2, 941 ]
    108 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_2_1_1, 940 ]
    109 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_2_1_2, 939 ]
    110 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_2_2_1, 938 ]
    111 // CHECK-NEXT:	[ 0, foo_1_1_1_2_2_2_2_2_2, 937 ]
    112 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_1_1_1, 936 ]
    113 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_1_1_2, 935 ]
    114 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_1_2_1, 934 ]
    115 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_1_2_2, 933 ]
    116 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_2_1_1, 932 ]
    117 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_2_1_2, 931 ]
    118 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_2_2_1, 930 ]
    119 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_1_2_2_2, 929 ]
    120 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_1_1_1, 928 ]
    121 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_1_1_2, 927 ]
    122 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_1_2_1, 926 ]
    123 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_1_2_2, 925 ]
    124 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_2_1_1, 924 ]
    125 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_2_1_2, 923 ]
    126 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_2_2_1, 922 ]
    127 // CHECK-NEXT:	[ 0, foo_1_1_2_1_1_2_2_2_2, 921 ]
    128 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_1_1_1, 920 ]
    129 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_1_1_2, 919 ]
    130 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_1_2_1, 918 ]
    131 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_1_2_2, 917 ]
    132 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_2_1_1, 916 ]
    133 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_2_1_2, 915 ]
    134 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_2_2_1, 914 ]
    135 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_1_2_2_2, 913 ]
    136 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_1_1_1, 912 ]
    137 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_1_1_2, 911 ]
    138 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_1_2_1, 910 ]
    139 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_1_2_2, 909 ]
    140 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_2_1_1, 908 ]
    141 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_2_1_2, 907 ]
    142 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_2_2_1, 906 ]
    143 // CHECK-NEXT:	[ 0, foo_1_1_2_1_2_2_2_2_2, 905 ]
    144 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_1_1_1, 904 ]
    145 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_1_1_2, 903 ]
    146 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_1_2_1, 902 ]
    147 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_1_2_2, 901 ]
    148 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_2_1_1, 900 ]
    149 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_2_1_2, 899 ]
    150 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_2_2_1, 898 ]
    151 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_1_2_2_2, 897 ]
    152 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_1_1_1, 896 ]
    153 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_1_1_2, 895 ]
    154 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_1_2_1, 894 ]
    155 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_1_2_2, 893 ]
    156 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_2_1_1, 892 ]
    157 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_2_1_2, 891 ]
    158 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_2_2_1, 890 ]
    159 // CHECK-NEXT:	[ 0, foo_1_1_2_2_1_2_2_2_2, 889 ]
    160 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_1_1_1, 888 ]
    161 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_1_1_2, 887 ]
    162 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_1_2_1, 886 ]
    163 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_1_2_2, 885 ]
    164 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_2_1_1, 884 ]
    165 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_2_1_2, 883 ]
    166 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_2_2_1, 882 ]
    167 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_1_2_2_2, 881 ]
    168 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_1_1_1, 880 ]
    169 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_1_1_2, 879 ]
    170 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_1_2_1, 878 ]
    171 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_1_2_2, 877 ]
    172 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_2_1_1, 876 ]
    173 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_2_1_2, 875 ]
    174 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_2_2_1, 874 ]
    175 // CHECK-NEXT:	[ 0, foo_1_1_2_2_2_2_2_2_2, 873 ]
    176 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_1_1_1, 872 ]
    177 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_1_1_2, 871 ]
    178 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_1_2_1, 870 ]
    179 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_1_2_2, 869 ]
    180 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_2_1_1, 868 ]
    181 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_2_1_2, 867 ]
    182 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_2_2_1, 866 ]
    183 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_1_2_2_2, 865 ]
    184 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_1_1_1, 864 ]
    185 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_1_1_2, 863 ]
    186 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_1_2_1, 862 ]
    187 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_1_2_2, 861 ]
    188 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_2_1_1, 860 ]
    189 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_2_1_2, 859 ]
    190 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_2_2_1, 858 ]
    191 // CHECK-NEXT:	[ 0, foo_1_2_1_1_1_2_2_2_2, 857 ]
    192 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_1_1_1, 856 ]
    193 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_1_1_2, 855 ]
    194 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_1_2_1, 854 ]
    195 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_1_2_2, 853 ]
    196 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_2_1_1, 852 ]
    197 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_2_1_2, 851 ]
    198 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_2_2_1, 850 ]
    199 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_1_2_2_2, 849 ]
    200 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_1_1_1, 848 ]
    201 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_1_1_2, 847 ]
    202 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_1_2_1, 846 ]
    203 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_1_2_2, 845 ]
    204 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_2_1_1, 844 ]
    205 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_2_1_2, 843 ]
    206 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_2_2_1, 842 ]
    207 // CHECK-NEXT:	[ 0, foo_1_2_1_1_2_2_2_2_2, 841 ]
    208 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_1_1_1, 840 ]
    209 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_1_1_2, 839 ]
    210 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_1_2_1, 838 ]
    211 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_1_2_2, 837 ]
    212 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_2_1_1, 836 ]
    213 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_2_1_2, 835 ]
    214 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_2_2_1, 834 ]
    215 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_1_2_2_2, 833 ]
    216 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_1_1_1, 832 ]
    217 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_1_1_2, 831 ]
    218 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_1_2_1, 830 ]
    219 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_1_2_2, 829 ]
    220 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_2_1_1, 828 ]
    221 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_2_1_2, 827 ]
    222 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_2_2_1, 826 ]
    223 // CHECK-NEXT:	[ 0, foo_1_2_1_2_1_2_2_2_2, 825 ]
    224 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_1_1_1, 824 ]
    225 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_1_1_2, 823 ]
    226 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_1_2_1, 822 ]
    227 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_1_2_2, 821 ]
    228 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_2_1_1, 820 ]
    229 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_2_1_2, 819 ]
    230 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_2_2_1, 818 ]
    231 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_1_2_2_2, 817 ]
    232 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_1_1_1, 816 ]
    233 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_1_1_2, 815 ]
    234 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_1_2_1, 814 ]
    235 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_1_2_2, 813 ]
    236 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_2_1_1, 812 ]
    237 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_2_1_2, 811 ]
    238 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_2_2_1, 810 ]
    239 // CHECK-NEXT:	[ 0, foo_1_2_1_2_2_2_2_2_2, 809 ]
    240 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_1_1_1, 808 ]
    241 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_1_1_2, 807 ]
    242 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_1_2_1, 806 ]
    243 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_1_2_2, 805 ]
    244 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_2_1_1, 804 ]
    245 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_2_1_2, 803 ]
    246 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_2_2_1, 802 ]
    247 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_1_2_2_2, 801 ]
    248 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_1_1_1, 800 ]
    249 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_1_1_2, 799 ]
    250 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_1_2_1, 798 ]
    251 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_1_2_2, 797 ]
    252 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_2_1_1, 796 ]
    253 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_2_1_2, 795 ]
    254 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_2_2_1, 794 ]
    255 // CHECK-NEXT:	[ 0, foo_1_2_2_1_1_2_2_2_2, 793 ]
    256 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_1_1_1, 792 ]
    257 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_1_1_2, 791 ]
    258 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_1_2_1, 790 ]
    259 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_1_2_2, 789 ]
    260 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_2_1_1, 788 ]
    261 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_2_1_2, 787 ]
    262 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_2_2_1, 786 ]
    263 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_1_2_2_2, 785 ]
    264 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_1_1_1, 784 ]
    265 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_1_1_2, 783 ]
    266 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_1_2_1, 782 ]
    267 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_1_2_2, 781 ]
    268 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_2_1_1, 780 ]
    269 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_2_1_2, 779 ]
    270 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_2_2_1, 778 ]
    271 // CHECK-NEXT:	[ 0, foo_1_2_2_1_2_2_2_2_2, 777 ]
    272 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_1_1_1, 776 ]
    273 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_1_1_2, 775 ]
    274 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_1_2_1, 774 ]
    275 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_1_2_2, 773 ]
    276 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_2_1_1, 772 ]
    277 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_2_1_2, 771 ]
    278 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_2_2_1, 770 ]
    279 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_1_2_2_2, 769 ]
    280 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_1_1_1, 768 ]
    281 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_1_1_2, 767 ]
    282 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_1_2_1, 766 ]
    283 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_1_2_2, 765 ]
    284 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_2_1_1, 764 ]
    285 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_2_1_2, 763 ]
    286 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_2_2_1, 762 ]
    287 // CHECK-NEXT:	[ 0, foo_1_2_2_2_1_2_2_2_2, 761 ]
    288 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_1_1_1, 760 ]
    289 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_1_1_2, 759 ]
    290 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_1_2_1, 758 ]
    291 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_1_2_2, 757 ]
    292 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_2_1_1, 756 ]
    293 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_2_1_2, 755 ]
    294 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_2_2_1, 754 ]
    295 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_1_2_2_2, 753 ]
    296 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_2_1_1_1, 752 ]
    297 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_2_1_1_2, 751 ]
    298 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_2_1_2_1, 750 ]
    299 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_2_1_2_2, 749 ]
    300 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_2_2_1_1, 748 ]
    301 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_2_2_1_2, 747 ]
    302 // CHECK-NEXT:	[ 0, foo_1_2_2_2_2_2_2_2_1, 746 ]
    303 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_2_2_2, 2000 ]
    304 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_2_2_1, 1999 ]
    305 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_2_1_2, 1998 ]
    306 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_2_1_1, 1997 ]
    307 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_1_2_2, 1996 ]
    308 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_1_2_1, 1995 ]
    309 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_1_1_2, 1994 ]
    310 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_2_1_1_1, 1993 ]
    311 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_2_2_2, 1992 ]
    312 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_2_2_1, 1991 ]
    313 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_2_1_2, 1990 ]
    314 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_2_1_1, 1989 ]
    315 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_1_2_2, 1988 ]
    316 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_1_2_1, 1987 ]
    317 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_1_1_2, 1986 ]
    318 // CHECK-NEXT:	[ 1, foo_2_2_2_2_2_1_1_1_1, 1985 ]
    319 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_2_2_2, 1984 ]
    320 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_2_2_1, 1983 ]
    321 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_2_1_2, 1982 ]
    322 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_2_1_1, 1981 ]
    323 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_1_2_2, 1980 ]
    324 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_1_2_1, 1979 ]
    325 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_1_1_2, 1978 ]
    326 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_2_1_1_1, 1977 ]
    327 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_2_2_2, 1976 ]
    328 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_2_2_1, 1975 ]
    329 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_2_1_2, 1974 ]
    330 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_2_1_1, 1973 ]
    331 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_1_2_2, 1972 ]
    332 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_1_2_1, 1971 ]
    333 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_1_1_2, 1970 ]
    334 // CHECK-NEXT:	[ 1, foo_2_2_2_2_1_1_1_1_1, 1969 ]
    335 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_2_2_2, 1968 ]
    336 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_2_2_1, 1967 ]
    337 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_2_1_2, 1966 ]
    338 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_2_1_1, 1965 ]
    339 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_1_2_2, 1964 ]
    340 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_1_2_1, 1963 ]
    341 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_1_1_2, 1962 ]
    342 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_2_1_1_1, 1961 ]
    343 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_2_2_2, 1960 ]
    344 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_2_2_1, 1959 ]
    345 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_2_1_2, 1958 ]
    346 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_2_1_1, 1957 ]
    347 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_1_2_2, 1956 ]
    348 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_1_2_1, 1955 ]
    349 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_1_1_2, 1954 ]
    350 // CHECK-NEXT:	[ 1, foo_2_2_2_1_2_1_1_1_1, 1953 ]
    351 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_2_2_2, 1952 ]
    352 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_2_2_1, 1951 ]
    353 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_2_1_2, 1950 ]
    354 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_2_1_1, 1949 ]
    355 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_1_2_2, 1948 ]
    356 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_1_2_1, 1947 ]
    357 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_1_1_2, 1946 ]
    358 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_2_1_1_1, 1945 ]
    359 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_2_2_2, 1944 ]
    360 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_2_2_1, 1943 ]
    361 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_2_1_2, 1942 ]
    362 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_2_1_1, 1941 ]
    363 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_1_2_2, 1940 ]
    364 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_1_2_1, 1939 ]
    365 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_1_1_2, 1938 ]
    366 // CHECK-NEXT:	[ 1, foo_2_2_2_1_1_1_1_1_1, 1937 ]
    367 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_2_2_2, 1936 ]
    368 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_2_2_1, 1935 ]
    369 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_2_1_2, 1934 ]
    370 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_2_1_1, 1933 ]
    371 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_1_2_2, 1932 ]
    372 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_1_2_1, 1931 ]
    373 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_1_1_2, 1930 ]
    374 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_2_1_1_1, 1929 ]
    375 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_2_2_2, 1928 ]
    376 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_2_2_1, 1927 ]
    377 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_2_1_2, 1926 ]
    378 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_2_1_1, 1925 ]
    379 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_1_2_2, 1924 ]
    380 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_1_2_1, 1923 ]
    381 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_1_1_2, 1922 ]
    382 // CHECK-NEXT:	[ 1, foo_2_2_1_2_2_1_1_1_1, 1921 ]
    383 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_2_2_2, 1920 ]
    384 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_2_2_1, 1919 ]
    385 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_2_1_2, 1918 ]
    386 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_2_1_1, 1917 ]
    387 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_1_2_2, 1916 ]
    388 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_1_2_1, 1915 ]
    389 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_1_1_2, 1914 ]
    390 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_2_1_1_1, 1913 ]
    391 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_2_2_2, 1912 ]
    392 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_2_2_1, 1911 ]
    393 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_2_1_2, 1910 ]
    394 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_2_1_1, 1909 ]
    395 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_1_2_2, 1908 ]
    396 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_1_2_1, 1907 ]
    397 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_1_1_2, 1906 ]
    398 // CHECK-NEXT:	[ 1, foo_2_2_1_2_1_1_1_1_1, 1905 ]
    399 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_2_2_2, 1904 ]
    400 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_2_2_1, 1903 ]
    401 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_2_1_2, 1902 ]
    402 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_2_1_1, 1901 ]
    403 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_1_2_2, 1900 ]
    404 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_1_2_1, 1899 ]
    405 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_1_1_2, 1898 ]
    406 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_2_1_1_1, 1897 ]
    407 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_2_2_2, 1896 ]
    408 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_2_2_1, 1895 ]
    409 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_2_1_2, 1894 ]
    410 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_2_1_1, 1893 ]
    411 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_1_2_2, 1892 ]
    412 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_1_2_1, 1891 ]
    413 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_1_1_2, 1890 ]
    414 // CHECK-NEXT:	[ 1, foo_2_2_1_1_2_1_1_1_1, 1889 ]
    415 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_2_2_2, 1888 ]
    416 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_2_2_1, 1887 ]
    417 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_2_1_2, 1886 ]
    418 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_2_1_1, 1885 ]
    419 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_1_2_2, 1884 ]
    420 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_1_2_1, 1883 ]
    421 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_1_1_2, 1882 ]
    422 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_2_1_1_1, 1881 ]
    423 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_2_2_2, 1880 ]
    424 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_2_2_1, 1879 ]
    425 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_2_1_2, 1878 ]
    426 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_2_1_1, 1877 ]
    427 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_1_2_2, 1876 ]
    428 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_1_2_1, 1875 ]
    429 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_1_1_2, 1874 ]
    430 // CHECK-NEXT:	[ 1, foo_2_2_1_1_1_1_1_1_1, 1873 ]
    431 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_2_2_2, 1872 ]
    432 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_2_2_1, 1871 ]
    433 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_2_1_2, 1870 ]
    434 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_2_1_1, 1869 ]
    435 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_1_2_2, 1868 ]
    436 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_1_2_1, 1867 ]
    437 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_1_1_2, 1866 ]
    438 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_2_1_1_1, 1865 ]
    439 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_2_2_2, 1864 ]
    440 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_2_2_1, 1863 ]
    441 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_2_1_2, 1862 ]
    442 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_2_1_1, 1861 ]
    443 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_1_2_2, 1860 ]
    444 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_1_2_1, 1859 ]
    445 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_1_1_2, 1858 ]
    446 // CHECK-NEXT:	[ 1, foo_2_1_2_2_2_1_1_1_1, 1857 ]
    447 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_2_2_2, 1856 ]
    448 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_2_2_1, 1855 ]
    449 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_2_1_2, 1854 ]
    450 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_2_1_1, 1853 ]
    451 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_1_2_2, 1852 ]
    452 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_1_2_1, 1851 ]
    453 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_1_1_2, 1850 ]
    454 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_2_1_1_1, 1849 ]
    455 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_2_2_2, 1848 ]
    456 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_2_2_1, 1847 ]
    457 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_2_1_2, 1846 ]
    458 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_2_1_1, 1845 ]
    459 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_1_2_2, 1844 ]
    460 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_1_2_1, 1843 ]
    461 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_1_1_2, 1842 ]
    462 // CHECK-NEXT:	[ 1, foo_2_1_2_2_1_1_1_1_1, 1841 ]
    463 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_2_2_2, 1840 ]
    464 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_2_2_1, 1839 ]
    465 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_2_1_2, 1838 ]
    466 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_2_1_1, 1837 ]
    467 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_1_2_2, 1836 ]
    468 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_1_2_1, 1835 ]
    469 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_1_1_2, 1834 ]
    470 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_2_1_1_1, 1833 ]
    471 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_2_2_2, 1832 ]
    472 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_2_2_1, 1831 ]
    473 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_2_1_2, 1830 ]
    474 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_2_1_1, 1829 ]
    475 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_1_2_2, 1828 ]
    476 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_1_2_1, 1827 ]
    477 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_1_1_2, 1826 ]
    478 // CHECK-NEXT:	[ 1, foo_2_1_2_1_2_1_1_1_1, 1825 ]
    479 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_2_2_2, 1824 ]
    480 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_2_2_1, 1823 ]
    481 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_2_1_2, 1822 ]
    482 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_2_1_1, 1821 ]
    483 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_1_2_2, 1820 ]
    484 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_1_2_1, 1819 ]
    485 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_1_1_2, 1818 ]
    486 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_2_1_1_1, 1817 ]
    487 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_2_2_2, 1816 ]
    488 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_2_2_1, 1815 ]
    489 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_2_1_2, 1814 ]
    490 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_2_1_1, 1813 ]
    491 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_1_2_2, 1812 ]
    492 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_1_2_1, 1811 ]
    493 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_1_1_2, 1810 ]
    494 // CHECK-NEXT:	[ 1, foo_2_1_2_1_1_1_1_1_1, 1809 ]
    495 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_2_2_2, 1808 ]
    496 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_2_2_1, 1807 ]
    497 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_2_1_2, 1806 ]
    498 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_2_1_1, 1805 ]
    499 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_1_2_2, 1804 ]
    500 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_1_2_1, 1803 ]
    501 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_1_1_2, 1802 ]
    502 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_2_1_1_1, 1801 ]
    503 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_2_2_2, 1800 ]
    504 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_2_2_1, 1799 ]
    505 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_2_1_2, 1798 ]
    506 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_2_1_1, 1797 ]
    507 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_1_2_2, 1796 ]
    508 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_1_2_1, 1795 ]
    509 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_1_1_2, 1794 ]
    510 // CHECK-NEXT:	[ 1, foo_2_1_1_2_2_1_1_1_1, 1793 ]
    511 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_2_2_2, 1792 ]
    512 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_2_2_1, 1791 ]
    513 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_2_1_2, 1790 ]
    514 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_2_1_1, 1789 ]
    515 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_1_2_2, 1788 ]
    516 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_1_2_1, 1787 ]
    517 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_1_1_2, 1786 ]
    518 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_2_1_1_1, 1785 ]
    519 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_2_2_2, 1784 ]
    520 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_2_2_1, 1783 ]
    521 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_2_1_2, 1782 ]
    522 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_2_1_1, 1781 ]
    523 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_1_2_2, 1780 ]
    524 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_1_2_1, 1779 ]
    525 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_1_1_2, 1778 ]
    526 // CHECK-NEXT:	[ 1, foo_2_1_1_2_1_1_1_1_1, 1777 ]
    527 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_2_2_2, 1776 ]
    528 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_2_2_1, 1775 ]
    529 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_2_1_2, 1774 ]
    530 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_2_1_1, 1773 ]
    531 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_1_2_2, 1772 ]
    532 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_1_2_1, 1771 ]
    533 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_1_1_2, 1770 ]
    534 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_2_1_1_1, 1769 ]
    535 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_2_2_2, 1768 ]
    536 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_2_2_1, 1767 ]
    537 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_2_1_2, 1766 ]
    538 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_2_1_1, 1765 ]
    539 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_1_2_2, 1764 ]
    540 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_1_2_1, 1763 ]
    541 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_1_1_2, 1762 ]
    542 // CHECK-NEXT:	[ 1, foo_2_1_1_1_2_1_1_1_1, 1761 ]
    543 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_2_2_2, 1760 ]
    544 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_2_2_1, 1759 ]
    545 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_2_1_2, 1758 ]
    546 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_2_1_1, 1757 ]
    547 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_1_2_2, 1756 ]
    548 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_1_2_1, 1755 ]
    549 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_1_1_2, 1754 ]
    550 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_2_1_1_1, 1753 ]
    551 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_1_2_2_2, 1752 ]
    552 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_1_2_2_1, 1751 ]
    553 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_1_2_1_2, 1750 ]
    554 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_1_2_1_1, 1749 ]
    555 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_1_1_2_2, 1748 ]
    556 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_1_1_2_1, 1747 ]
    557 // CHECK-NEXT:	[ 1, foo_2_1_1_1_1_1_1_1_2, 1746 ]
    558