Symbol: rewrite_header