Doing flow_control ex2 by Calvin