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