Revert "mainProg"

This reverts commit e736ad965c5ca8db9e0aa9637e13f55e2eabe614.