headers, and a few other insignificant changes.
also, unless INTR_DEBUG is set, make the internal branch labels for the interrupt code be local labels, so profiling works OK.
for patchkit patch 158. it appears to work well.