CHECK(shared_memory);