DominoTilingCounter tc; std::cout << tc.count(4, 7) << '\n';
std::cout << DominoTilingCounter.count(4, 7) << '\n';
std::cout << tc::count(4, 7) << '\n';
DominoTilingCounter tc; std::cout << tc.count(4, 7) << '\n';