Porting paip-krep.el