half(i64 ** i64)
