Update prog_for_lab