miniSim executes ok (not ready yet!)