Symbol: xdrgen_encode_posixacetag4