let get_progs       = get_multip_resp Prog