throw() specs deprecated