Re: [PD] non-leaky symbols