Salve a tutti!

Tempo fa avevo un programmino che filmava tutto ciò che si faceva in windows e poi lo salvava come divx...

qualcuno sa percaso che programma potrebbe essere?