add debugging for p-prime and b-dblprime