
void vncbuffer_reset(void);
void vncbuffer_write(void *in, unsigned int n, vncserv *serv);
void vncbuffer_flush(vncserv *serv);
