Symbol: xdrgen_encode_fattr4_open_arguments