Simulating program execution