exceptional-specification