main: switch to Simulation instead of SimulationDbg