begin label L; new x;
   x<-@x;
L: out L;
   out 'x';
   out @x
end