Doing flow_control ex3 by Calvin