Lines Matching refs:time_katja
933 void time_katja(void)998 void time_katja(void) { fprintf(stderr, "NO Katja\n"); }