Use push_safety if you have it.