X86_memory_models loading ...