% write_header_contents() %>