Exe1: better definition of `enum`