debug.hh for hphpd.