Symbol: debug_header