int(ok ? i32 : add)
