Symbol: xdrgen_encode_posixace4