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