Symbol: analyze_subprog