[abi_symbol_list]