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