greet(type(i64))
