Function encode_header 

pub fn encode_header(header: &FileHeader, page: &mut Page)

Encode header into page. Power-of-ten Rule 5: invariants the caller is supposed to uphold are documented via debug_assert!.