Can now run ex1.ml