Symbol: xdr_chrand3_arg