Doing flow_control ex1 by Calvin