pub unsafe fn ReadBuffer(
    arg_reln: Relation,
    arg_blockNum: BlockNumber
) -> Buffer