greet(toJSON(i64))
