function_names = [
    '__ZN5Botan12_GLOBAL__N_111des_decryptERjS1_PKj',
    '__ZN5Botan12_GLOBAL__N_111des_encryptERjS1_PKj',
    '__ZN5Botan12_GLOBAL__N_114des_decrypt_x2ERjS1_S1_S1_PKj',
    '__ZN5Botan12_GLOBAL__N_114des_encrypt_x2ERjS1_S1_S1_PKj',
    '__ZN5Botan12_GLOBAL__N_114des_encrypt_x2ERjS1_S1_S1_PKj',
    '__ZN5Botan12_GLOBAL__N_15spboxEjj',
    '__ZN5Botan12_GLOBAL__N_16des_FPERjS1_',
    '__ZN5Botan12_GLOBAL__N_16des_IPERjS1_',
]
