src/notes/manylocals.sml

fun f x =
    let
val x100 = x
val x101 = 1 + x100
val x102 = 1 + x101
val x103 = 1 + x102
val x104 = 1 + x103
val x105 = 1 + x104
val x106 = 1 + x105
val x107 = 1 + x106
val x108 = 1 + x107
val x109 = 1 + x108
val x110 = 1 + x109
val x111 = 1 + x110
val x112 = 1 + x111
val x113 = 1 + x112
val x114 = 1 + x113
val x115 = 1 + x114
val x116 = 1 + x115
val x117 = 1 + x116
val x118 = 1 + x117
val x119 = 1 + x118
val x120 = 1 + x119
val x121 = 1 + x120
val x122 = 1 + x121
val x123 = 1 + x122
val x124 = 1 + x123
val x125 = 1 + x124
val x126 = 1 + x125
val x127 = 1 + x126
val x128 = 1 + x127
val x129 = 1 + x128
val x130 = 1 + x129
val x131 = 1 + x130
val x132 = 1 + x131
val x133 = 1 + x132
val x134 = 1 + x133
val x135 = 1 + x134
val x136 = 1 + x135
val x137 = 1 + x136
val x138 = 1 + x137
val x139 = 1 + x138
val x140 = 1 + x139
val x141 = 1 + x140
val x142 = 1 + x141
val x143 = 1 + x142
val x144 = 1 + x143
val x145 = 1 + x144
val x146 = 1 + x145
val x147 = 1 + x146
val x148 = 1 + x147
val x149 = 1 + x148
val x150 = 1 + x149
val x151 = 1 + x150
val x152 = 1 + x151
val x153 = 1 + x152
val x154 = 1 + x153
val x155 = 1 + x154
val x156 = 1 + x155
val x157 = 1 + x156
val x158 = 1 + x157
val x159 = 1 + x158
val x160 = 1 + x159
val x161 = 1 + x160
val x162 = 1 + x161
val x163 = 1 + x162
val x164 = 1 + x163
val x165 = 1 + x164
val x166 = 1 + x165
val x167 = 1 + x166
val x168 = 1 + x167
val x169 = 1 + x168
val x170 = 1 + x169
val x171 = 1 + x170
val x172 = 1 + x171
val x173 = 1 + x172
val x174 = 1 + x173
val x175 = 1 + x174
val x176 = 1 + x175
val x177 = 1 + x176
val x178 = 1 + x177
val x179 = 1 + x178
val x180 = 1 + x179
val x181 = 1 + x180
val x182 = 1 + x181
val x183 = 1 + x182
val x184 = 1 + x183
val x185 = 1 + x184
val x186 = 1 + x185
val x187 = 1 + x186
val x188 = 1 + x187
val x189 = 1 + x188
val x190 = 1 + x189
val x191 = 1 + x190
val x192 = 1 + x191
val x193 = 1 + x192
val x194 = 1 + x193
val x195 = 1 + x194
val x196 = 1 + x195
val x197 = 1 + x196
val x198 = 1 + x197
val x199 = 1 + x198
val x200 = 1 + x199
val x201 = 1 + x200
val x202 = 1 + x201
val x203 = 1 + x202
val x204 = 1 + x203
val x205 = 1 + x204
val x206 = 1 + x205
val x207 = 1 + x206
val x208 = 1 + x207
val x209 = 1 + x208
val x210 = 1 + x209
val x211 = 1 + x210
val x212 = 1 + x211
val x213 = 1 + x212
val x214 = 1 + x213
val x215 = 1 + x214
val x216 = 1 + x215
val x217 = 1 + x216
val x218 = 1 + x217
val x219 = 1 + x218
val x220 = 1 + x219
val x221 = 1 + x220
val x222 = 1 + x221
val x223 = 1 + x222
val x224 = 1 + x223
val x225 = 1 + x224
val x226 = 1 + x225
val x227 = 1 + x226
val x228 = 1 + x227
val x229 = 1 + x228
val x230 = 1 + x229
val x231 = 1 + x230
val x232 = 1 + x231
val x233 = 1 + x232
val x234 = 1 + x233
val x235 = 1 + x234
val x236 = 1 + x235
val x237 = 1 + x236
val x238 = 1 + x237
val x239 = 1 + x238
val x240 = 1 + x239
val x241 = 1 + x240
val x242 = 1 + x241
val x243 = 1 + x242
val x244 = 1 + x243
val x245 = 1 + x244
val x246 = 1 + x245
val x247 = 1 + x246
val x248 = 1 + x247
val x249 = 1 + x248
val x250 = 1 + x249
val x251 = 1 + x250
val x252 = 1 + x251
val x253 = 1 + x252
val x254 = 1 + x253
val x255 = 1 + x254
val x256 = 1 + x255
val x257 = 1 + x256
val x258 = 1 + x257
val x259 = 1 + x258
val x260 = 1 + x259
val x261 = 1 + x260
val x262 = 1 + x261
val x263 = 1 + x262
val x264 = 1 + x263
val x265 = 1 + x264
val x266 = 1 + x265
val x267 = 1 + x266
val x268 = 1 + x267
val x269 = 1 + x268
val x270 = 1 + x269
val x271 = 1 + x270
val x272 = 1 + x271
val x273 = 1 + x272
val x274 = 1 + x273
val x275 = 1 + x274
val x276 = 1 + x275
val x277 = 1 + x276
val x278 = 1 + x277
val x279 = 1 + x278
val x280 = 1 + x279
val x281 = 1 + x280
val x282 = 1 + x281
val x283 = 1 + x282
val x284 = 1 + x283
val x285 = 1 + x284
val x286 = 1 + x285
val x287 = 1 + x286
val x288 = 1 + x287
val x289 = 1 + x288
val x290 = 1 + x289
val x291 = 1 + x290
val x292 = 1 + x291
val x293 = 1 + x292
val x294 = 1 + x293
val x295 = 1 + x294
val x296 = 1 + x295
val x297 = 1 + x296
val x298 = 1 + x297
val x299 = 1 + x298
val x300 = 1 + x299
val x301 = 1 + x300
val x302 = 1 + x301
val x303 = 1 + x302
val x304 = 1 + x303
val x305 = 1 + x304
val x306 = 1 + x305
val x307 = 1 + x306
val x308 = 1 + x307
val x309 = 1 + x308
val x310 = 1 + x309
val x311 = 1 + x310
val x312 = 1 + x311
val x313 = 1 + x312
val x314 = 1 + x313
val x315 = 1 + x314
val x316 = 1 + x315
val x317 = 1 + x316
val x318 = 1 + x317
val x319 = 1 + x318
val x320 = 1 + x319
val x321 = 1 + x320
val x322 = 1 + x321
val x323 = 1 + x322
val x324 = 1 + x323
val x325 = 1 + x324
val x326 = 1 + x325
val x327 = 1 + x326
val x328 = 1 + x327
val x329 = 1 + x328
val x330 = 1 + x329
val x331 = 1 + x330
val x332 = 1 + x331
val x333 = 1 + x332
val x334 = 1 + x333
val x335 = 1 + x334
val x336 = 1 + x335
val x337 = 1 + x336
val x338 = 1 + x337
val x339 = 1 + x338
val x340 = 1 + x339
val x341 = 1 + x340
val x342 = 1 + x341
val x343 = 1 + x342
val x344 = 1 + x343
val x345 = 1 + x344
val x346 = 1 + x345
val x347 = 1 + x346
val x348 = 1 + x347
val x349 = 1 + x348
val x350 = 1 + x349
val x351 = 1 + x350
val x352 = 1 + x351
val x353 = 1 + x352
val x354 = 1 + x353
val x355 = 1 + x354
val x356 = 1 + x355
val x357 = 1 + x356
val x358 = 1 + x357
val x359 = 1 + x358
val x360 = 1 + x359
val x361 = 1 + x360
val x362 = 1 + x361
val x363 = 1 + x362
val x364 = 1 + x363
val x365 = 1 + x364
val x366 = 1 + x365
val x367 = 1 + x366
val x368 = 1 + x367
val x369 = 1 + x368
val x370 = 1 + x369
val x371 = 1 + x370
val x372 = 1 + x371
val x373 = 1 + x372
val x374 = 1 + x373
val x375 = 1 + x374
val x376 = 1 + x375
val x377 = 1 + x376
val x378 = 1 + x377
val x379 = 1 + x378
val x380 = 1 + x379
val x381 = 1 + x380
val x382 = 1 + x381
val x383 = 1 + x382
val x384 = 1 + x383
val x385 = 1 + x384
val x386 = 1 + x385
val x387 = 1 + x386
val x388 = 1 + x387
val x389 = 1 + x388
val x390 = 1 + x389
val x391 = 1 + x390
val x392 = 1 + x391
val x393 = 1 + x392
val x394 = 1 + x393
val x395 = 1 + x394
val x396 = 1 + x395
val x397 = 1 + x396
val x398 = 1 + x397
val x399 = 1 + x398
in x399 end