Symbol: prog_count