Ensure that we are not casting enums to integers, not allowed in C++ unless in permissive mode.
Ensure that we are not casting enums to integers, not allowed in C++ unless in permissive mode.

pmatos/maxsatzilla,pmatos/maxsatzilla,pmatos/maxsatzilla,pmatos/maxsatzilla,pmatos/maxsatzilla