We do not need to call allocate twice (and so do not need to change this regex. Basically, when we emit the memory intiializer, right before it we emit `STATICTOP = STATIC_BASE + X` where X is the size of the mem init. That means that it's ok for the mem init to be smaller than that size; the rest will not be touched, but that is fine as it is a typed array and we can assume it was initialized to 0. So this could save a little time in startup and simplify this code.