Symbol: tcx_prog_query