Separated main.ml.example