< position where reading stopped. Will be updated. Necessarily 0 <= pos <= size
@ffi.Size() external int pos;