Symbol: xdrgen_encode_aclmodel4