Symbol: append_restored_header