fn check_buffer_bounds( whole_size: BufferAddress, slice_offset: BufferAddress, slice_size: BufferAddress, )