Re: [pro] CDR proposal: compiled-file-p