Fix simm.ml