greet(string(true))
