Symbol: xdr_pointer