def count(n) & tick() = count(n-1)
  or  count(0) & wait() = reply to wait
  ;;

  let n = 9 in
    def print_tick(i) = print_int i; tick()
    in
    print_string "(";
    spawn begin 
            count(n) &
            for i = 1 to n do print_tick(i) done
          end;
    wait();
    print_string ")" ;;