Simulator::synchronize() that should work.