Rename prog to Prog