(
  node(w);
);