Symbol: extract_from_header