void vxi11_fireinterrupt(void);
void vxi11_deadsocketcallback(int socket);