atomic ctrl M = 2;

big test = M{r, x};

big test1 = /r test;

big test2 = /x test1;

react r = test1 -> test2 | {x};

begin brs
  init test1;
  rules = [ { r } ];
end