fetch_data_size

function fetch_data_size(page_cursor: page_cursor): integer