> static constexpr auto MAXIMUM_STATES = 463;
There is a joke here that I’m missing. Does anyone understand what it is?