i32 ** min(i32)
