analysis of control flow 683214