[abi_symbol_list]

