Let enlist_unique_header() verify that the caller didn't pass a header containing...