Remove spurious array allocation that is garbage collected immediately after
Remove spurious array allocation that is garbage collected immediately
after
tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus