backup: broken sim (check dtc-sim.rkt)
sim fixes