Symbol: had_prog_n