Symbol: get_weakest_mem_model