pub fn law_empty_header_on_no_bytes( magic_prefix_ok: bool, version_prefix_ok: bool, flags_prefix_ok: bool, ) -> bool