i32 ** (i64 - i)
