Update pr4debug.c