oops; fingers got confused.  sorry.

It looks OK to me; all i care about is that e.g. hpux-style
core-dumps are still _possible_, which means a different type of
header for them.


later,

chris

------------------------------------------------------------------------------