Symbol: xdrgen_decode_posixacetag4