safe_store_code
safe_store_code(new_code1, ip, faulted);
safe_store_code(new_code2, ip, faulted);
safe_store_code(new_code2, ip, faulted);
safe_store_code(new_code1, ip, faulted);
safe_store_code(new_code, ip, faulted);