/util/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2022-07-22 09:24 +0200 3284 dsymtable.cc
-rw-r--r-- 2022-07-22 09:24 +0200 4968 dsymtable.hh
-rw-r--r-- 2022-07-22 09:24 +0200 1812 strdup.hh
-rw-r--r-- 2022-07-22 09:24 +0200 6898 symtable.cc
-rw-r--r-- 2022-07-22 09:24 +0200 5350 symtable.hh