Symbol: EXTRACT_FROM_HEADER