toJSON(i32 == 1)
