scripts/symbols/generate_ctags_symbols.php