On 07/28, Madhavan T. Venkataraman wrote:>> I guess since the symbol is not used by any modules, I don't need to> export it.Yes,Oleg.