Code at the right does not have a cilk_sync in it. Because of the fact that not all the spawns are done on one thread, is synchronization going to require extra overhead?