14.15 ippl——检查IPPL库是否存在