Symbol: xdr_SEQUENCE4res