#ifndef WC_LIB
#define WC_LIB
#include "libc.h"
#include "system.h"
void wc(int argc, char *argv[]);
#endif