paip-prologc.el works