void warning(char *format,...);