Expand DummyProgram, more details, better style