(de rv Prg
   (append (last Prg) (head -1 Prg)) )