ok ? foo : i32
