fn check_buffer_bounds( buffer_size: BufferAddress, offset: BufferAddress, size: Option<BufferSize>, )