Runs a checked program’s windows on the runtime’s engine, with the interpreter giving every dynamic part its value.