bap-dump-symbols