void IDLmsg(const char *fmt, ...);
void LOGout(const char *fmt, ...);