Mealy testbench code