fn bad_header() -> Error