Symbol: rocket_acquire_object_fences