execution: UNTESTED
Will not test whether the name and shared memory object state remain valid
after a system reboot. It is unspecified.