Added cilk_spawn