greet(string(i64))
