Portably silenced warnings