Symbol: FLOW_CHECK