Update Nat1.ml