在一段給人调用代码里面要用ods _all_ close屏蔽掉冗长的输出，但是返回給调用者的时候希望恢复他/她/它本来的ods设置，包括destinations, styles, etc.
我单知道system options里有odsdest可以保存ods _all_ close之前的ods destinations，却没想到其它设置如何恢复。