Porting auxfns.lips