stateful_enum