max(i64 ** i64)
