spelling: hazard pointer (maybe s_style should check for this?)