Synchronization now also copies stacks