Create Nat1.ml

initial commit