lab3 wc validator