uses of _Deprecated_ should comment on when the deprecated function will be removed