/* warning.c */
void warning(char *text);