Symbol: query_prog_id