Update wc3.c