let
collect_apps lf tl = collect_apps_rec (tl,lf.l_profile)