* main.ml: comments