| // Create a function with the maximum number of parameters, all pointers, to stress the | 
 | // quadratic nature of the uniformity analysis. | 
 |  | 
 | fn foo( | 
 |   p0 : ptr<function, i32>, | 
 |   p1 : ptr<function, i32>, | 
 |   p2 : ptr<function, i32>, | 
 |   p3 : ptr<function, i32>, | 
 |   p4 : ptr<function, i32>, | 
 |   p5 : ptr<function, i32>, | 
 |   p6 : ptr<function, i32>, | 
 |   p7 : ptr<function, i32>, | 
 |   p8 : ptr<function, i32>, | 
 |   p9 : ptr<function, i32>, | 
 |   p10 : ptr<function, i32>, | 
 |   p11 : ptr<function, i32>, | 
 |   p12 : ptr<function, i32>, | 
 |   p13 : ptr<function, i32>, | 
 |   p14 : ptr<function, i32>, | 
 |   p15 : ptr<function, i32>, | 
 |   p16 : ptr<function, i32>, | 
 |   p17 : ptr<function, i32>, | 
 |   p18 : ptr<function, i32>, | 
 |   p19 : ptr<function, i32>, | 
 |   p20 : ptr<function, i32>, | 
 |   p21 : ptr<function, i32>, | 
 |   p22 : ptr<function, i32>, | 
 |   p23 : ptr<function, i32>, | 
 |   p24 : ptr<function, i32>, | 
 |   p25 : ptr<function, i32>, | 
 |   p26 : ptr<function, i32>, | 
 |   p27 : ptr<function, i32>, | 
 |   p28 : ptr<function, i32>, | 
 |   p29 : ptr<function, i32>, | 
 |   p30 : ptr<function, i32>, | 
 |   p31 : ptr<function, i32>, | 
 |   p32 : ptr<function, i32>, | 
 |   p33 : ptr<function, i32>, | 
 |   p34 : ptr<function, i32>, | 
 |   p35 : ptr<function, i32>, | 
 |   p36 : ptr<function, i32>, | 
 |   p37 : ptr<function, i32>, | 
 |   p38 : ptr<function, i32>, | 
 |   p39 : ptr<function, i32>, | 
 |   p40 : ptr<function, i32>, | 
 |   p41 : ptr<function, i32>, | 
 |   p42 : ptr<function, i32>, | 
 |   p43 : ptr<function, i32>, | 
 |   p44 : ptr<function, i32>, | 
 |   p45 : ptr<function, i32>, | 
 |   p46 : ptr<function, i32>, | 
 |   p47 : ptr<function, i32>, | 
 |   p48 : ptr<function, i32>, | 
 |   p49 : ptr<function, i32>, | 
 |   p50 : ptr<function, i32>, | 
 |   p51 : ptr<function, i32>, | 
 |   p52 : ptr<function, i32>, | 
 |   p53 : ptr<function, i32>, | 
 |   p54 : ptr<function, i32>, | 
 |   p55 : ptr<function, i32>, | 
 |   p56 : ptr<function, i32>, | 
 |   p57 : ptr<function, i32>, | 
 |   p58 : ptr<function, i32>, | 
 |   p59 : ptr<function, i32>, | 
 |   p60 : ptr<function, i32>, | 
 |   p61 : ptr<function, i32>, | 
 |   p62 : ptr<function, i32>, | 
 |   p63 : ptr<function, i32>, | 
 |   p64 : ptr<function, i32>, | 
 |   p65 : ptr<function, i32>, | 
 |   p66 : ptr<function, i32>, | 
 |   p67 : ptr<function, i32>, | 
 |   p68 : ptr<function, i32>, | 
 |   p69 : ptr<function, i32>, | 
 |   p70 : ptr<function, i32>, | 
 |   p71 : ptr<function, i32>, | 
 |   p72 : ptr<function, i32>, | 
 |   p73 : ptr<function, i32>, | 
 |   p74 : ptr<function, i32>, | 
 |   p75 : ptr<function, i32>, | 
 |   p76 : ptr<function, i32>, | 
 |   p77 : ptr<function, i32>, | 
 |   p78 : ptr<function, i32>, | 
 |   p79 : ptr<function, i32>, | 
 |   p80 : ptr<function, i32>, | 
 |   p81 : ptr<function, i32>, | 
 |   p82 : ptr<function, i32>, | 
 |   p83 : ptr<function, i32>, | 
 |   p84 : ptr<function, i32>, | 
 |   p85 : ptr<function, i32>, | 
 |   p86 : ptr<function, i32>, | 
 |   p87 : ptr<function, i32>, | 
 |   p88 : ptr<function, i32>, | 
 |   p89 : ptr<function, i32>, | 
 |   p90 : ptr<function, i32>, | 
 |   p91 : ptr<function, i32>, | 
 |   p92 : ptr<function, i32>, | 
 |   p93 : ptr<function, i32>, | 
 |   p94 : ptr<function, i32>, | 
 |   p95 : ptr<function, i32>, | 
 |   p96 : ptr<function, i32>, | 
 |   p97 : ptr<function, i32>, | 
 |   p98 : ptr<function, i32>, | 
 |   p99 : ptr<function, i32>, | 
 |   p100 : ptr<function, i32>, | 
 |   p101 : ptr<function, i32>, | 
 |   p102 : ptr<function, i32>, | 
 |   p103 : ptr<function, i32>, | 
 |   p104 : ptr<function, i32>, | 
 |   p105 : ptr<function, i32>, | 
 |   p106 : ptr<function, i32>, | 
 |   p107 : ptr<function, i32>, | 
 |   p108 : ptr<function, i32>, | 
 |   p109 : ptr<function, i32>, | 
 |   p110 : ptr<function, i32>, | 
 |   p111 : ptr<function, i32>, | 
 |   p112 : ptr<function, i32>, | 
 |   p113 : ptr<function, i32>, | 
 |   p114 : ptr<function, i32>, | 
 |   p115 : ptr<function, i32>, | 
 |   p116 : ptr<function, i32>, | 
 |   p117 : ptr<function, i32>, | 
 |   p118 : ptr<function, i32>, | 
 |   p119 : ptr<function, i32>, | 
 |   p120 : ptr<function, i32>, | 
 |   p121 : ptr<function, i32>, | 
 |   p122 : ptr<function, i32>, | 
 |   p123 : ptr<function, i32>, | 
 |   p124 : ptr<function, i32>, | 
 |   p125 : ptr<function, i32>, | 
 |   p126 : ptr<function, i32>, | 
 |   p127 : ptr<function, i32>, | 
 |   p128 : ptr<function, i32>, | 
 |   p129 : ptr<function, i32>, | 
 |   p130 : ptr<function, i32>, | 
 |   p131 : ptr<function, i32>, | 
 |   p132 : ptr<function, i32>, | 
 |   p133 : ptr<function, i32>, | 
 |   p134 : ptr<function, i32>, | 
 |   p135 : ptr<function, i32>, | 
 |   p136 : ptr<function, i32>, | 
 |   p137 : ptr<function, i32>, | 
 |   p138 : ptr<function, i32>, | 
 |   p139 : ptr<function, i32>, | 
 |   p140 : ptr<function, i32>, | 
 |   p141 : ptr<function, i32>, | 
 |   p142 : ptr<function, i32>, | 
 |   p143 : ptr<function, i32>, | 
 |   p144 : ptr<function, i32>, | 
 |   p145 : ptr<function, i32>, | 
 |   p146 : ptr<function, i32>, | 
 |   p147 : ptr<function, i32>, | 
 |   p148 : ptr<function, i32>, | 
 |   p149 : ptr<function, i32>, | 
 |   p150 : ptr<function, i32>, | 
 |   p151 : ptr<function, i32>, | 
 |   p152 : ptr<function, i32>, | 
 |   p153 : ptr<function, i32>, | 
 |   p154 : ptr<function, i32>, | 
 |   p155 : ptr<function, i32>, | 
 |   p156 : ptr<function, i32>, | 
 |   p157 : ptr<function, i32>, | 
 |   p158 : ptr<function, i32>, | 
 |   p159 : ptr<function, i32>, | 
 |   p160 : ptr<function, i32>, | 
 |   p161 : ptr<function, i32>, | 
 |   p162 : ptr<function, i32>, | 
 |   p163 : ptr<function, i32>, | 
 |   p164 : ptr<function, i32>, | 
 |   p165 : ptr<function, i32>, | 
 |   p166 : ptr<function, i32>, | 
 |   p167 : ptr<function, i32>, | 
 |   p168 : ptr<function, i32>, | 
 |   p169 : ptr<function, i32>, | 
 |   p170 : ptr<function, i32>, | 
 |   p171 : ptr<function, i32>, | 
 |   p172 : ptr<function, i32>, | 
 |   p173 : ptr<function, i32>, | 
 |   p174 : ptr<function, i32>, | 
 |   p175 : ptr<function, i32>, | 
 |   p176 : ptr<function, i32>, | 
 |   p177 : ptr<function, i32>, | 
 |   p178 : ptr<function, i32>, | 
 |   p179 : ptr<function, i32>, | 
 |   p180 : ptr<function, i32>, | 
 |   p181 : ptr<function, i32>, | 
 |   p182 : ptr<function, i32>, | 
 |   p183 : ptr<function, i32>, | 
 |   p184 : ptr<function, i32>, | 
 |   p185 : ptr<function, i32>, | 
 |   p186 : ptr<function, i32>, | 
 |   p187 : ptr<function, i32>, | 
 |   p188 : ptr<function, i32>, | 
 |   p189 : ptr<function, i32>, | 
 |   p190 : ptr<function, i32>, | 
 |   p191 : ptr<function, i32>, | 
 |   p192 : ptr<function, i32>, | 
 |   p193 : ptr<function, i32>, | 
 |   p194 : ptr<function, i32>, | 
 |   p195 : ptr<function, i32>, | 
 |   p196 : ptr<function, i32>, | 
 |   p197 : ptr<function, i32>, | 
 |   p198 : ptr<function, i32>, | 
 |   p199 : ptr<function, i32>, | 
 |   p200 : ptr<function, i32>, | 
 |   p201 : ptr<function, i32>, | 
 |   p202 : ptr<function, i32>, | 
 |   p203 : ptr<function, i32>, | 
 |   p204 : ptr<function, i32>, | 
 |   p205 : ptr<function, i32>, | 
 |   p206 : ptr<function, i32>, | 
 |   p207 : ptr<function, i32>, | 
 |   p208 : ptr<function, i32>, | 
 |   p209 : ptr<function, i32>, | 
 |   p210 : ptr<function, i32>, | 
 |   p211 : ptr<function, i32>, | 
 |   p212 : ptr<function, i32>, | 
 |   p213 : ptr<function, i32>, | 
 |   p214 : ptr<function, i32>, | 
 |   p215 : ptr<function, i32>, | 
 |   p216 : ptr<function, i32>, | 
 |   p217 : ptr<function, i32>, | 
 |   p218 : ptr<function, i32>, | 
 |   p219 : ptr<function, i32>, | 
 |   p220 : ptr<function, i32>, | 
 |   p221 : ptr<function, i32>, | 
 |   p222 : ptr<function, i32>, | 
 |   p223 : ptr<function, i32>, | 
 |   p224 : ptr<function, i32>, | 
 |   p225 : ptr<function, i32>, | 
 |   p226 : ptr<function, i32>, | 
 |   p227 : ptr<function, i32>, | 
 |   p228 : ptr<function, i32>, | 
 |   p229 : ptr<function, i32>, | 
 |   p230 : ptr<function, i32>, | 
 |   p231 : ptr<function, i32>, | 
 |   p232 : ptr<function, i32>, | 
 |   p233 : ptr<function, i32>, | 
 |   p234 : ptr<function, i32>, | 
 |   p235 : ptr<function, i32>, | 
 |   p236 : ptr<function, i32>, | 
 |   p237 : ptr<function, i32>, | 
 |   p238 : ptr<function, i32>, | 
 |   p239 : ptr<function, i32>, | 
 |   p240 : ptr<function, i32>, | 
 |   p241 : ptr<function, i32>, | 
 |   p242 : ptr<function, i32>, | 
 |   p243 : ptr<function, i32>, | 
 |   p244 : ptr<function, i32>, | 
 |   p245 : ptr<function, i32>, | 
 |   p246 : ptr<function, i32>, | 
 |   p247 : ptr<function, i32>, | 
 |   p248 : ptr<function, i32>, | 
 |   p249 : ptr<function, i32>, | 
 |   p250 : ptr<function, i32>, | 
 |   p251 : ptr<function, i32>, | 
 |   p252 : ptr<function, i32>, | 
 |   p253 : ptr<function, i32>, | 
 |   p254 : ptr<function, i32>, | 
 | ) { | 
 |   var rhs = *p0 + *p1 + *p2 + *p3 + *p4 + *p5 + *p6 + *p7; | 
 |   rhs += *p8 + *p9 + *p10 + *p11 + *p12 + *p13 + *p14 + *p15; | 
 |   rhs += *p16 + *p17 + *p18 + *p19 + *p20 + *p21 + *p22 + *p23; | 
 |   rhs += *p24 + *p25 + *p26 + *p27 + *p28 + *p29 + *p30 + *p31; | 
 |   rhs += *p32 + *p33 + *p34 + *p35 + *p36 + *p37 + *p38 + *p39; | 
 |   rhs += *p40 + *p41 + *p42 + *p43 + *p44 + *p45 + *p46 + *p47; | 
 |   rhs += *p48 + *p49 + *p50 + *p51 + *p52 + *p53 + *p54 + *p55; | 
 |   rhs += *p56 + *p57 + *p58 + *p59 + *p60 + *p61 + *p62 + *p63; | 
 |   rhs += *p64 + *p65 + *p66 + *p67 + *p68 + *p69 + *p70 + *p71; | 
 |   rhs += *p72 + *p73 + *p74 + *p75 + *p76 + *p77 + *p78 + *p79; | 
 |   rhs += *p80 + *p81 + *p82 + *p83 + *p84 + *p85 + *p86 + *p87; | 
 |   rhs += *p88 + *p89 + *p90 + *p91 + *p92 + *p93 + *p94 + *p95; | 
 |   rhs += *p96 + *p97 + *p98 + *p99 + *p100 + *p101 + *p102 + *p103; | 
 |   rhs += *p104 + *p105 + *p106 + *p107 + *p108 + *p109 + *p110 + *p111; | 
 |   rhs += *p112 + *p113 + *p114 + *p115 + *p116 + *p117 + *p118 + *p119; | 
 |   rhs += *p120 + *p121 + *p122 + *p123 + *p124 + *p125 + *p126 + *p127; | 
 |   rhs += *p128 + *p129 + *p130 + *p131 + *p132 + *p133 + *p134 + *p135; | 
 |   rhs += *p136 + *p137 + *p138 + *p139 + *p140 + *p141 + *p142 + *p143; | 
 |   rhs += *p144 + *p145 + *p146 + *p147 + *p148 + *p149 + *p150 + *p151; | 
 |   rhs += *p152 + *p153 + *p154 + *p155 + *p156 + *p157 + *p158 + *p159; | 
 |   rhs += *p160 + *p161 + *p162 + *p163 + *p164 + *p165 + *p166 + *p167; | 
 |   rhs += *p168 + *p169 + *p170 + *p171 + *p172 + *p173 + *p174 + *p175; | 
 |   rhs += *p176 + *p177 + *p178 + *p179 + *p180 + *p181 + *p182 + *p183; | 
 |   rhs += *p184 + *p185 + *p186 + *p187 + *p188 + *p189 + *p190 + *p191; | 
 |   rhs += *p192 + *p193 + *p194 + *p195 + *p196 + *p197 + *p198 + *p199; | 
 |   rhs += *p200 + *p201 + *p202 + *p203 + *p204 + *p205 + *p206 + *p207; | 
 |   rhs += *p208 + *p209 + *p210 + *p211 + *p212 + *p213 + *p214 + *p215; | 
 |   rhs += *p216 + *p217 + *p218 + *p219 + *p220 + *p221 + *p222 + *p223; | 
 |   rhs += *p224 + *p225 + *p226 + *p227 + *p228 + *p229 + *p230 + *p231; | 
 |   rhs += *p232 + *p233 + *p234 + *p235 + *p236 + *p237 + *p238 + *p239; | 
 |   rhs += *p240 + *p241 + *p242 + *p243 + *p244 + *p245 + *p246 + *p247; | 
 |   rhs += *p248 + *p249 + *p250 + *p251 + *p252 + *p253 + *p254; | 
 |   *p1 = rhs; | 
 |   *p2 = rhs; | 
 |   *p3 = rhs; | 
 |   *p4 = rhs; | 
 |   *p5 = rhs; | 
 |   *p6 = rhs; | 
 |   *p7 = rhs; | 
 |   *p8 = rhs; | 
 |   *p9 = rhs; | 
 |   *p10 = rhs; | 
 |   *p11 = rhs; | 
 |   *p12 = rhs; | 
 |   *p13 = rhs; | 
 |   *p14 = rhs; | 
 |   *p15 = rhs; | 
 |   *p16 = rhs; | 
 |   *p17 = rhs; | 
 |   *p18 = rhs; | 
 |   *p19 = rhs; | 
 |   *p20 = rhs; | 
 |   *p21 = rhs; | 
 |   *p22 = rhs; | 
 |   *p23 = rhs; | 
 |   *p24 = rhs; | 
 |   *p25 = rhs; | 
 |   *p26 = rhs; | 
 |   *p27 = rhs; | 
 |   *p28 = rhs; | 
 |   *p29 = rhs; | 
 |   *p30 = rhs; | 
 |   *p31 = rhs; | 
 |   *p32 = rhs; | 
 |   *p33 = rhs; | 
 |   *p34 = rhs; | 
 |   *p35 = rhs; | 
 |   *p36 = rhs; | 
 |   *p37 = rhs; | 
 |   *p38 = rhs; | 
 |   *p39 = rhs; | 
 |   *p40 = rhs; | 
 |   *p41 = rhs; | 
 |   *p42 = rhs; | 
 |   *p43 = rhs; | 
 |   *p44 = rhs; | 
 |   *p45 = rhs; | 
 |   *p46 = rhs; | 
 |   *p47 = rhs; | 
 |   *p48 = rhs; | 
 |   *p49 = rhs; | 
 |   *p50 = rhs; | 
 |   *p51 = rhs; | 
 |   *p52 = rhs; | 
 |   *p53 = rhs; | 
 |   *p54 = rhs; | 
 |   *p55 = rhs; | 
 |   *p56 = rhs; | 
 |   *p57 = rhs; | 
 |   *p58 = rhs; | 
 |   *p59 = rhs; | 
 |   *p60 = rhs; | 
 |   *p61 = rhs; | 
 |   *p62 = rhs; | 
 |   *p63 = rhs; | 
 |   *p64 = rhs; | 
 |   *p65 = rhs; | 
 |   *p66 = rhs; | 
 |   *p67 = rhs; | 
 |   *p68 = rhs; | 
 |   *p69 = rhs; | 
 |   *p70 = rhs; | 
 |   *p71 = rhs; | 
 |   *p72 = rhs; | 
 |   *p73 = rhs; | 
 |   *p74 = rhs; | 
 |   *p75 = rhs; | 
 |   *p76 = rhs; | 
 |   *p77 = rhs; | 
 |   *p78 = rhs; | 
 |   *p79 = rhs; | 
 |   *p80 = rhs; | 
 |   *p81 = rhs; | 
 |   *p82 = rhs; | 
 |   *p83 = rhs; | 
 |   *p84 = rhs; | 
 |   *p85 = rhs; | 
 |   *p86 = rhs; | 
 |   *p87 = rhs; | 
 |   *p88 = rhs; | 
 |   *p89 = rhs; | 
 |   *p90 = rhs; | 
 |   *p91 = rhs; | 
 |   *p92 = rhs; | 
 |   *p93 = rhs; | 
 |   *p94 = rhs; | 
 |   *p95 = rhs; | 
 |   *p96 = rhs; | 
 |   *p97 = rhs; | 
 |   *p98 = rhs; | 
 |   *p99 = rhs; | 
 |   *p100 = rhs; | 
 |   *p101 = rhs; | 
 |   *p102 = rhs; | 
 |   *p103 = rhs; | 
 |   *p104 = rhs; | 
 |   *p105 = rhs; | 
 |   *p106 = rhs; | 
 |   *p107 = rhs; | 
 |   *p108 = rhs; | 
 |   *p109 = rhs; | 
 |   *p110 = rhs; | 
 |   *p111 = rhs; | 
 |   *p112 = rhs; | 
 |   *p113 = rhs; | 
 |   *p114 = rhs; | 
 |   *p115 = rhs; | 
 |   *p116 = rhs; | 
 |   *p117 = rhs; | 
 |   *p118 = rhs; | 
 |   *p119 = rhs; | 
 |   *p120 = rhs; | 
 |   *p121 = rhs; | 
 |   *p122 = rhs; | 
 |   *p123 = rhs; | 
 |   *p124 = rhs; | 
 |   *p125 = rhs; | 
 |   *p126 = rhs; | 
 |   *p127 = rhs; | 
 |   *p128 = rhs; | 
 |   *p129 = rhs; | 
 |   *p130 = rhs; | 
 |   *p131 = rhs; | 
 |   *p132 = rhs; | 
 |   *p133 = rhs; | 
 |   *p134 = rhs; | 
 |   *p135 = rhs; | 
 |   *p136 = rhs; | 
 |   *p137 = rhs; | 
 |   *p138 = rhs; | 
 |   *p139 = rhs; | 
 |   *p140 = rhs; | 
 |   *p141 = rhs; | 
 |   *p142 = rhs; | 
 |   *p143 = rhs; | 
 |   *p144 = rhs; | 
 |   *p145 = rhs; | 
 |   *p146 = rhs; | 
 |   *p147 = rhs; | 
 |   *p148 = rhs; | 
 |   *p149 = rhs; | 
 |   *p150 = rhs; | 
 |   *p151 = rhs; | 
 |   *p152 = rhs; | 
 |   *p153 = rhs; | 
 |   *p154 = rhs; | 
 |   *p155 = rhs; | 
 |   *p156 = rhs; | 
 |   *p157 = rhs; | 
 |   *p158 = rhs; | 
 |   *p159 = rhs; | 
 |   *p160 = rhs; | 
 |   *p161 = rhs; | 
 |   *p162 = rhs; | 
 |   *p163 = rhs; | 
 |   *p164 = rhs; | 
 |   *p165 = rhs; | 
 |   *p166 = rhs; | 
 |   *p167 = rhs; | 
 |   *p168 = rhs; | 
 |   *p169 = rhs; | 
 |   *p170 = rhs; | 
 |   *p171 = rhs; | 
 |   *p172 = rhs; | 
 |   *p173 = rhs; | 
 |   *p174 = rhs; | 
 |   *p175 = rhs; | 
 |   *p176 = rhs; | 
 |   *p177 = rhs; | 
 |   *p178 = rhs; | 
 |   *p179 = rhs; | 
 |   *p180 = rhs; | 
 |   *p181 = rhs; | 
 |   *p182 = rhs; | 
 |   *p183 = rhs; | 
 |   *p184 = rhs; | 
 |   *p185 = rhs; | 
 |   *p186 = rhs; | 
 |   *p187 = rhs; | 
 |   *p188 = rhs; | 
 |   *p189 = rhs; | 
 |   *p190 = rhs; | 
 |   *p191 = rhs; | 
 |   *p192 = rhs; | 
 |   *p193 = rhs; | 
 |   *p194 = rhs; | 
 |   *p195 = rhs; | 
 |   *p196 = rhs; | 
 |   *p197 = rhs; | 
 |   *p198 = rhs; | 
 |   *p199 = rhs; | 
 |   *p200 = rhs; | 
 |   *p201 = rhs; | 
 |   *p202 = rhs; | 
 |   *p203 = rhs; | 
 |   *p204 = rhs; | 
 |   *p205 = rhs; | 
 |   *p206 = rhs; | 
 |   *p207 = rhs; | 
 |   *p208 = rhs; | 
 |   *p209 = rhs; | 
 |   *p210 = rhs; | 
 |   *p211 = rhs; | 
 |   *p212 = rhs; | 
 |   *p213 = rhs; | 
 |   *p214 = rhs; | 
 |   *p215 = rhs; | 
 |   *p216 = rhs; | 
 |   *p217 = rhs; | 
 |   *p218 = rhs; | 
 |   *p219 = rhs; | 
 |   *p220 = rhs; | 
 |   *p221 = rhs; | 
 |   *p222 = rhs; | 
 |   *p223 = rhs; | 
 |   *p224 = rhs; | 
 |   *p225 = rhs; | 
 |   *p226 = rhs; | 
 |   *p227 = rhs; | 
 |   *p228 = rhs; | 
 |   *p229 = rhs; | 
 |   *p230 = rhs; | 
 |   *p231 = rhs; | 
 |   *p232 = rhs; | 
 |   *p233 = rhs; | 
 |   *p234 = rhs; | 
 |   *p235 = rhs; | 
 |   *p236 = rhs; | 
 |   *p237 = rhs; | 
 |   *p238 = rhs; | 
 |   *p239 = rhs; | 
 |   *p240 = rhs; | 
 |   *p241 = rhs; | 
 |   *p242 = rhs; | 
 |   *p243 = rhs; | 
 |   *p244 = rhs; | 
 |   *p245 = rhs; | 
 |   *p246 = rhs; | 
 |   *p247 = rhs; | 
 |   *p248 = rhs; | 
 |   *p249 = rhs; | 
 |   *p250 = rhs; | 
 |   *p251 = rhs; | 
 |   *p252 = rhs; | 
 |   *p253 = rhs; | 
 |   *p254 = rhs; | 
 | } | 
 |  | 
 | fn main() { | 
 |   var v0 : i32; | 
 |   var v1 : i32; | 
 |   var v2 : i32; | 
 |   var v3 : i32; | 
 |   var v4 : i32; | 
 |   var v5 : i32; | 
 |   var v6 : i32; | 
 |   var v7 : i32; | 
 |   var v8 : i32; | 
 |   var v9 : i32; | 
 |   var v10 : i32; | 
 |   var v11 : i32; | 
 |   var v12 : i32; | 
 |   var v13 : i32; | 
 |   var v14 : i32; | 
 |   var v15 : i32; | 
 |   var v16 : i32; | 
 |   var v17 : i32; | 
 |   var v18 : i32; | 
 |   var v19 : i32; | 
 |   var v20 : i32; | 
 |   var v21 : i32; | 
 |   var v22 : i32; | 
 |   var v23 : i32; | 
 |   var v24 : i32; | 
 |   var v25 : i32; | 
 |   var v26 : i32; | 
 |   var v27 : i32; | 
 |   var v28 : i32; | 
 |   var v29 : i32; | 
 |   var v30 : i32; | 
 |   var v31 : i32; | 
 |   var v32 : i32; | 
 |   var v33 : i32; | 
 |   var v34 : i32; | 
 |   var v35 : i32; | 
 |   var v36 : i32; | 
 |   var v37 : i32; | 
 |   var v38 : i32; | 
 |   var v39 : i32; | 
 |   var v40 : i32; | 
 |   var v41 : i32; | 
 |   var v42 : i32; | 
 |   var v43 : i32; | 
 |   var v44 : i32; | 
 |   var v45 : i32; | 
 |   var v46 : i32; | 
 |   var v47 : i32; | 
 |   var v48 : i32; | 
 |   var v49 : i32; | 
 |   var v50 : i32; | 
 |   var v51 : i32; | 
 |   var v52 : i32; | 
 |   var v53 : i32; | 
 |   var v54 : i32; | 
 |   var v55 : i32; | 
 |   var v56 : i32; | 
 |   var v57 : i32; | 
 |   var v58 : i32; | 
 |   var v59 : i32; | 
 |   var v60 : i32; | 
 |   var v61 : i32; | 
 |   var v62 : i32; | 
 |   var v63 : i32; | 
 |   var v64 : i32; | 
 |   var v65 : i32; | 
 |   var v66 : i32; | 
 |   var v67 : i32; | 
 |   var v68 : i32; | 
 |   var v69 : i32; | 
 |   var v70 : i32; | 
 |   var v71 : i32; | 
 |   var v72 : i32; | 
 |   var v73 : i32; | 
 |   var v74 : i32; | 
 |   var v75 : i32; | 
 |   var v76 : i32; | 
 |   var v77 : i32; | 
 |   var v78 : i32; | 
 |   var v79 : i32; | 
 |   var v80 : i32; | 
 |   var v81 : i32; | 
 |   var v82 : i32; | 
 |   var v83 : i32; | 
 |   var v84 : i32; | 
 |   var v85 : i32; | 
 |   var v86 : i32; | 
 |   var v87 : i32; | 
 |   var v88 : i32; | 
 |   var v89 : i32; | 
 |   var v90 : i32; | 
 |   var v91 : i32; | 
 |   var v92 : i32; | 
 |   var v93 : i32; | 
 |   var v94 : i32; | 
 |   var v95 : i32; | 
 |   var v96 : i32; | 
 |   var v97 : i32; | 
 |   var v98 : i32; | 
 |   var v99 : i32; | 
 |   var v100 : i32; | 
 |   var v101 : i32; | 
 |   var v102 : i32; | 
 |   var v103 : i32; | 
 |   var v104 : i32; | 
 |   var v105 : i32; | 
 |   var v106 : i32; | 
 |   var v107 : i32; | 
 |   var v108 : i32; | 
 |   var v109 : i32; | 
 |   var v110 : i32; | 
 |   var v111 : i32; | 
 |   var v112 : i32; | 
 |   var v113 : i32; | 
 |   var v114 : i32; | 
 |   var v115 : i32; | 
 |   var v116 : i32; | 
 |   var v117 : i32; | 
 |   var v118 : i32; | 
 |   var v119 : i32; | 
 |   var v120 : i32; | 
 |   var v121 : i32; | 
 |   var v122 : i32; | 
 |   var v123 : i32; | 
 |   var v124 : i32; | 
 |   var v125 : i32; | 
 |   var v126 : i32; | 
 |   var v127 : i32; | 
 |   var v128 : i32; | 
 |   var v129 : i32; | 
 |   var v130 : i32; | 
 |   var v131 : i32; | 
 |   var v132 : i32; | 
 |   var v133 : i32; | 
 |   var v134 : i32; | 
 |   var v135 : i32; | 
 |   var v136 : i32; | 
 |   var v137 : i32; | 
 |   var v138 : i32; | 
 |   var v139 : i32; | 
 |   var v140 : i32; | 
 |   var v141 : i32; | 
 |   var v142 : i32; | 
 |   var v143 : i32; | 
 |   var v144 : i32; | 
 |   var v145 : i32; | 
 |   var v146 : i32; | 
 |   var v147 : i32; | 
 |   var v148 : i32; | 
 |   var v149 : i32; | 
 |   var v150 : i32; | 
 |   var v151 : i32; | 
 |   var v152 : i32; | 
 |   var v153 : i32; | 
 |   var v154 : i32; | 
 |   var v155 : i32; | 
 |   var v156 : i32; | 
 |   var v157 : i32; | 
 |   var v158 : i32; | 
 |   var v159 : i32; | 
 |   var v160 : i32; | 
 |   var v161 : i32; | 
 |   var v162 : i32; | 
 |   var v163 : i32; | 
 |   var v164 : i32; | 
 |   var v165 : i32; | 
 |   var v166 : i32; | 
 |   var v167 : i32; | 
 |   var v168 : i32; | 
 |   var v169 : i32; | 
 |   var v170 : i32; | 
 |   var v171 : i32; | 
 |   var v172 : i32; | 
 |   var v173 : i32; | 
 |   var v174 : i32; | 
 |   var v175 : i32; | 
 |   var v176 : i32; | 
 |   var v177 : i32; | 
 |   var v178 : i32; | 
 |   var v179 : i32; | 
 |   var v180 : i32; | 
 |   var v181 : i32; | 
 |   var v182 : i32; | 
 |   var v183 : i32; | 
 |   var v184 : i32; | 
 |   var v185 : i32; | 
 |   var v186 : i32; | 
 |   var v187 : i32; | 
 |   var v188 : i32; | 
 |   var v189 : i32; | 
 |   var v190 : i32; | 
 |   var v191 : i32; | 
 |   var v192 : i32; | 
 |   var v193 : i32; | 
 |   var v194 : i32; | 
 |   var v195 : i32; | 
 |   var v196 : i32; | 
 |   var v197 : i32; | 
 |   var v198 : i32; | 
 |   var v199 : i32; | 
 |   var v200 : i32; | 
 |   var v201 : i32; | 
 |   var v202 : i32; | 
 |   var v203 : i32; | 
 |   var v204 : i32; | 
 |   var v205 : i32; | 
 |   var v206 : i32; | 
 |   var v207 : i32; | 
 |   var v208 : i32; | 
 |   var v209 : i32; | 
 |   var v210 : i32; | 
 |   var v211 : i32; | 
 |   var v212 : i32; | 
 |   var v213 : i32; | 
 |   var v214 : i32; | 
 |   var v215 : i32; | 
 |   var v216 : i32; | 
 |   var v217 : i32; | 
 |   var v218 : i32; | 
 |   var v219 : i32; | 
 |   var v220 : i32; | 
 |   var v221 : i32; | 
 |   var v222 : i32; | 
 |   var v223 : i32; | 
 |   var v224 : i32; | 
 |   var v225 : i32; | 
 |   var v226 : i32; | 
 |   var v227 : i32; | 
 |   var v228 : i32; | 
 |   var v229 : i32; | 
 |   var v230 : i32; | 
 |   var v231 : i32; | 
 |   var v232 : i32; | 
 |   var v233 : i32; | 
 |   var v234 : i32; | 
 |   var v235 : i32; | 
 |   var v236 : i32; | 
 |   var v237 : i32; | 
 |   var v238 : i32; | 
 |   var v239 : i32; | 
 |   var v240 : i32; | 
 |   var v241 : i32; | 
 |   var v242 : i32; | 
 |   var v243 : i32; | 
 |   var v244 : i32; | 
 |   var v245 : i32; | 
 |   var v246 : i32; | 
 |   var v247 : i32; | 
 |   var v248 : i32; | 
 |   var v249 : i32; | 
 |   var v250 : i32; | 
 |   var v251 : i32; | 
 |   var v252 : i32; | 
 |   var v253 : i32; | 
 |   var v254 : i32; | 
 |   foo( | 
 |     &v0, | 
 |     &v1, | 
 |     &v2, | 
 |     &v3, | 
 |     &v4, | 
 |     &v5, | 
 |     &v6, | 
 |     &v7, | 
 |     &v8, | 
 |     &v9, | 
 |     &v10, | 
 |     &v11, | 
 |     &v12, | 
 |     &v13, | 
 |     &v14, | 
 |     &v15, | 
 |     &v16, | 
 |     &v17, | 
 |     &v18, | 
 |     &v19, | 
 |     &v20, | 
 |     &v21, | 
 |     &v22, | 
 |     &v23, | 
 |     &v24, | 
 |     &v25, | 
 |     &v26, | 
 |     &v27, | 
 |     &v28, | 
 |     &v29, | 
 |     &v30, | 
 |     &v31, | 
 |     &v32, | 
 |     &v33, | 
 |     &v34, | 
 |     &v35, | 
 |     &v36, | 
 |     &v37, | 
 |     &v38, | 
 |     &v39, | 
 |     &v40, | 
 |     &v41, | 
 |     &v42, | 
 |     &v43, | 
 |     &v44, | 
 |     &v45, | 
 |     &v46, | 
 |     &v47, | 
 |     &v48, | 
 |     &v49, | 
 |     &v50, | 
 |     &v51, | 
 |     &v52, | 
 |     &v53, | 
 |     &v54, | 
 |     &v55, | 
 |     &v56, | 
 |     &v57, | 
 |     &v58, | 
 |     &v59, | 
 |     &v60, | 
 |     &v61, | 
 |     &v62, | 
 |     &v63, | 
 |     &v64, | 
 |     &v65, | 
 |     &v66, | 
 |     &v67, | 
 |     &v68, | 
 |     &v69, | 
 |     &v70, | 
 |     &v71, | 
 |     &v72, | 
 |     &v73, | 
 |     &v74, | 
 |     &v75, | 
 |     &v76, | 
 |     &v77, | 
 |     &v78, | 
 |     &v79, | 
 |     &v80, | 
 |     &v81, | 
 |     &v82, | 
 |     &v83, | 
 |     &v84, | 
 |     &v85, | 
 |     &v86, | 
 |     &v87, | 
 |     &v88, | 
 |     &v89, | 
 |     &v90, | 
 |     &v91, | 
 |     &v92, | 
 |     &v93, | 
 |     &v94, | 
 |     &v95, | 
 |     &v96, | 
 |     &v97, | 
 |     &v98, | 
 |     &v99, | 
 |     &v100, | 
 |     &v101, | 
 |     &v102, | 
 |     &v103, | 
 |     &v104, | 
 |     &v105, | 
 |     &v106, | 
 |     &v107, | 
 |     &v108, | 
 |     &v109, | 
 |     &v110, | 
 |     &v111, | 
 |     &v112, | 
 |     &v113, | 
 |     &v114, | 
 |     &v115, | 
 |     &v116, | 
 |     &v117, | 
 |     &v118, | 
 |     &v119, | 
 |     &v120, | 
 |     &v121, | 
 |     &v122, | 
 |     &v123, | 
 |     &v124, | 
 |     &v125, | 
 |     &v126, | 
 |     &v127, | 
 |     &v128, | 
 |     &v129, | 
 |     &v130, | 
 |     &v131, | 
 |     &v132, | 
 |     &v133, | 
 |     &v134, | 
 |     &v135, | 
 |     &v136, | 
 |     &v137, | 
 |     &v138, | 
 |     &v139, | 
 |     &v140, | 
 |     &v141, | 
 |     &v142, | 
 |     &v143, | 
 |     &v144, | 
 |     &v145, | 
 |     &v146, | 
 |     &v147, | 
 |     &v148, | 
 |     &v149, | 
 |     &v150, | 
 |     &v151, | 
 |     &v152, | 
 |     &v153, | 
 |     &v154, | 
 |     &v155, | 
 |     &v156, | 
 |     &v157, | 
 |     &v158, | 
 |     &v159, | 
 |     &v160, | 
 |     &v161, | 
 |     &v162, | 
 |     &v163, | 
 |     &v164, | 
 |     &v165, | 
 |     &v166, | 
 |     &v167, | 
 |     &v168, | 
 |     &v169, | 
 |     &v170, | 
 |     &v171, | 
 |     &v172, | 
 |     &v173, | 
 |     &v174, | 
 |     &v175, | 
 |     &v176, | 
 |     &v177, | 
 |     &v178, | 
 |     &v179, | 
 |     &v180, | 
 |     &v181, | 
 |     &v182, | 
 |     &v183, | 
 |     &v184, | 
 |     &v185, | 
 |     &v186, | 
 |     &v187, | 
 |     &v188, | 
 |     &v189, | 
 |     &v190, | 
 |     &v191, | 
 |     &v192, | 
 |     &v193, | 
 |     &v194, | 
 |     &v195, | 
 |     &v196, | 
 |     &v197, | 
 |     &v198, | 
 |     &v199, | 
 |     &v200, | 
 |     &v201, | 
 |     &v202, | 
 |     &v203, | 
 |     &v204, | 
 |     &v205, | 
 |     &v206, | 
 |     &v207, | 
 |     &v208, | 
 |     &v209, | 
 |     &v210, | 
 |     &v211, | 
 |     &v212, | 
 |     &v213, | 
 |     &v214, | 
 |     &v215, | 
 |     &v216, | 
 |     &v217, | 
 |     &v218, | 
 |     &v219, | 
 |     &v220, | 
 |     &v221, | 
 |     &v222, | 
 |     &v223, | 
 |     &v224, | 
 |     &v225, | 
 |     &v226, | 
 |     &v227, | 
 |     &v228, | 
 |     &v229, | 
 |     &v230, | 
 |     &v231, | 
 |     &v232, | 
 |     &v233, | 
 |     &v234, | 
 |     &v235, | 
 |     &v236, | 
 |     &v237, | 
 |     &v238, | 
 |     &v239, | 
 |     &v240, | 
 |     &v241, | 
 |     &v242, | 
 |     &v243, | 
 |     &v244, | 
 |     &v245, | 
 |     &v246, | 
 |     &v247, | 
 |     &v248, | 
 |     &v249, | 
 |     &v250, | 
 |     &v251, | 
 |     &v252, | 
 |     &v253, | 
 |     &v254, | 
 |   ); | 
 |   if (v254 == 0) { | 
 |     workgroupBarrier(); | 
 |   } | 
 | } |