Add array buffers to stdlib