extern int _asgetticket(int, char*, char*);extern int _asreadn(int, char*, int);extern int _asrdfile(char*, char*, int);extern int _asrdresp(int, char*, int);extern int _asgetticket(int, char*, char*);
extern int _asreadn(int, char*, int);
extern int _asrdfile(char*, char*, int);
extern int _asrdresp(int, char*, int);