modify to_string, and simulate.ml mainly