Hanoi towers using Cilk