Examples for the Immutable case
Actor works properly
sync and rw_lock
Implement all examples