Autogenerated symbol file by mkrpcsym.pl