fn check_buffer_bounds( buffer_size: BufferAddress, slice_offset: BufferAddress, slice_size: BufferSize, )