Symbol: xdr_sequenceid4