fix program execution engine