memory_not_shared_after_use
if (memory_not_shared_after_use() != EXIT_SUCCESS) {
static int memory_not_shared_after_use();