Garbage collector for array buffers