/* Check that extract_all_objects works with headers.  */