s.bar : Nat