implement %p for esil