Doing flow_control ex4 by Calvin