// HVM's reducer is a finite stack machine with 4 possible states:
// - visit: visits a node and add its children to the visit stack ~> visit, apply, blink
// - apply: reduces a node, applying a rewrite rule               ~> visit, apply, blink, halt
// - blink: pops the visit stack and enters visit mode            ~> visit, blink, steal
// - steal: attempt to steal work from the global pool            ~> visit, steal, halt

//   main {
//     work {
//       visit { ... }
//       apply { ... }
//       complete
//     }
//     blink { ... }
//     steal { ... }
//   }

After executing this code, the garbage contract sayHello will appear in the Rspace, and this garbage will lie in the Rspace forever. XD

new mySet, loop in {
  contract loop(@n, @acc) = {
    if (n == 0) mySet!(acc)
    else loop!(n - 1, acc.add(n))
  } |
  loop!(10, Set())
}

new mySet, loop in {
  for( (@n, @acc) <- loop  ) = {
    if (n == 0) mySet!(acc)
    else loop!(n - 1, acc.add(n)) | {Rewrite the same for contract again}
  } |
  loop!(10, Set())
}

[Rewrite the same for process again]