vtysh
vtysh_cmd.c

# does not exist anymore - remove 2023-10-04 or so
extract.pl
