hdr_Header
header_type = hdr_Header;
|| header_type==hdr_Header
if (header_type==hdr_Header) last_indent=2; /* for cont. lines */