string(ok ? true : i32)
