* main.ml: test