Most of ex27.ml compiling