prog_dot