Source Code for mini-sumo.