greet(toJSON(i32))
