Symbol: effective_prog_pos