Added buffer_dealloc()