Create knormal.ml