Symbol: vrfy_flow