def greet(string name) string {
    return "Hello, " + name + "!"
}