4506d26cf3
Looks like it is no longer necessary, as uninit_array() can be used instead in the few cases where it was needed.