[greet, i32]
