func hello(name: String) {
 precondition(!name.isEmpty, “Name must not be empty”)
 print(“hello “ + name)
}