int	gdbsend(char *);
int	gdbsendp(char *);
int	gdback(void);
int	gdbresend(void);
int	gdbrecv(char *, int);
int	gdbcommand(char *, char *, int);

int	wasack(void);
int	wasnotify(void);
int	waserror(void);

int	gdbopen(char *);
void	gdbclose(void);
void	gdbkill(void);

int	chattygdb;