greet(type(i32))
