(1 * i64) ** i32
