Symbol: xdrgen_encode_posixaceperm4