improve TIPiC and server.c