@define x() {
       @local y;
       y = ((enum x*){dom}0)[0];
}