Ensure that buffers returned by the default allocator are readable, or else