Symbol: opregion_header