[greet, i64]
