s/Nat/Int