Symbol: xdr_getint32