Re: [PD] convert symbol to int