WIP: simulator.
add a list of differences between the model and implementation.