* common.ml: