analysis of control flow 4822887