/scripts/

• ../
• gen_symbol_header.awk
• gen_symbol_version_map.awk
• gen_trace_header.awk