#include using namespace std; using ll = long long; using P = pair; constexpr char newl = '\n'; // https://noshi91.hatenablog.com/entry/2019/03/31/174006 template struct ModInt { using u64 = std::uint_fast64_t; static constexpr u64 MOD = Modulus; u64 val; constexpr ModInt(const u64 x = 0) noexcept : val(x % MOD) {} constexpr ModInt operator+() const noexcept { return ModInt(*this); } constexpr ModInt operator-() const noexcept { ModInt res(*this); if (res.val != 0) res.val = MOD - res.val; return res; } constexpr bool operator==(const ModInt& rhs) const noexcept { return val == rhs.val; } constexpr bool operator!=(const ModInt& rhs) const noexcept { return val != rhs.val; } // prefix increment/decrement constexpr ModInt& operator++() noexcept { return *this += ModInt(1); } constexpr ModInt& operator--() noexcept { return *this -= ModInt(1); } // postfix increment/decrement constexpr ModInt operator++(int) noexcept { ModInt tmp(*this); ++*this; return tmp; } constexpr ModInt operator--(int) noexcept { ModInt tmp(*this); --*this; return tmp; } constexpr ModInt operator+(const ModInt& rhs) const noexcept { return ModInt(*this) += rhs; } constexpr ModInt operator-(const ModInt& rhs) const noexcept { return ModInt(*this) -= rhs; } constexpr ModInt operator*(const ModInt& rhs) const noexcept { return ModInt(*this) *= rhs; } constexpr ModInt operator/(const ModInt& rhs) const noexcept { return ModInt(*this) /= rhs; } constexpr ModInt& operator+=(const ModInt& rhs) noexcept { val += rhs.val; if (val >= MOD) val -= MOD; return *this; } constexpr ModInt& operator-=(const ModInt& rhs) noexcept { if (val < rhs.val) val += MOD; val -= rhs.val; return *this; } constexpr ModInt& operator*=(const ModInt& rhs) noexcept { val = val * rhs.val % MOD; return *this; } // prime Modulus only constexpr ModInt& operator/=(const ModInt& rhs) noexcept { return *this *= rhs.inv(); } // prime Modulus only constexpr ModInt inv() const noexcept { return pow(*this, MOD - 2); } }; template constexpr ModInt pow(ModInt x, std::uint_fast64_t n) { ModInt res(1); while (n) { if (n & 1) res *= x; x *= x; n >>= 1; } return res; } template istream& operator>>(istream& is, ModInt& x) { std::uint_fast64_t val; is >> val; x = ModInt(val); return is; } template ostream& operator<<(ostream& os, const ModInt& x) { return os << x.val; } using mint = ModInt<998244353>; // g++ -Wl,--stack,[STACK SIZE] [file] でスタックサイズを増やすか、 // グローバル変数として宣言して使うこと!!! template struct Comb { array fact, fact_inv; constexpr Comb() noexcept { fact[0] = 1; for (size_t i = 1; i <= MAXV; i++) { fact[i] = fact[i - 1] * i; } fact_inv[MAXV] = fact[MAXV].inv(); for (size_t i = MAXV; i > 0; i--) { fact_inv[i - 1] = fact_inv[i] * i; } } constexpr T operator()(int n, int k) const noexcept { if (n < k || n < 0 || k < 0) return 0; return fact[n] * fact_inv[k] * fact_inv[n - k]; } }; const Comb<200000> comb; // 0 <= i <= k - 2 * j // 2 * j <= k - i // j <= [(k - i) / 2] // [(k - i) / 2] <= m // (k - 2 * m) <= i // sum_{i = 0}^{k - 1} (-1)^i (k, i) i^n 2^(k - i - 1) // -2 * 1 * 1 + 1 * 4 * int main() { cin.tie(nullptr); ios::sync_with_stdio(false); int n, K; cin >> n >> K; if (K % 2 == 1) { mint ans = 0; for (int i = 0; i <= K - 1; i++) { mint tmp = comb(K, i) * pow(mint(i), n) * pow(mint(2), K - i - 1); if (i % 2 == 0) ans += tmp; else ans -= tmp; } cout << ans << newl; } else { mint ans = 0; for (int i = 0; i <= K; i++) { mint tmp = comb(K, i) * pow(mint(i), n) * (i == K ? 1 : pow(mint(2), K - i - 1)); if (i % 2 == 0) ans += tmp; else ans -= tmp; } //cerr << ans << " " << pow(mint(K), n) << newl; ans = pow(mint(K), n) - ans; cout << ans << newl; } return 0; }