pub fn validate_magic(header: &[u8]) -> Option<u8>
Validate APR header magic bytes.
#[requires(header.len() >= 4)] #[ensures(result.is_some() ==> result.unwrap() == 1 || result.unwrap() == 2)]