strict digraph "tests/contract_testcases/solana/address_member_call.sol" {
	Receipt [label="name:Receipt\ncontract: 0\ntests/contract_testcases/solana/address_member_call.sol:5:11-18\nfield name:From ty:address indexed:no\nfield name:Token ty:address indexed:no\nfield name:Receivers ty:address[] indexed:no\nfield name:Amounts ty:uint64[] indexed:no\nfield name:Payment ty:string indexed:no"]
	contract [label="contract MyContract\ntests/contract_testcases/solana/address_member_call.sol:4:1-45:2"]
	send [label="function send\ncontract: MyContract\ntests/contract_testcases/solana/address_member_call.sol:13:5-18:23\nsignature send(bytes32[],uint64[],string,uint64)\nvisibility external\nmutability payable"]
	parameters [label="parameters\naddress[] _receivers\nuint64[] _amounts\nstring _payment\nuint64 value"]
	expr [label="expression\ntests/contract_testcases/solana/address_member_call.sol:19:9-22:10"]
	builtins [label="builtin Require\ntests/contract_testcases/solana/address_member_call.sol:19:9-16"]
	equal [label="equal\ntests/contract_testcases/solana/address_member_call.sol:20:13-49"]
	builtins_9 [label="builtin ArrayLength\ntests/contract_testcases/solana/address_member_call.sol:20:13-30"]
	variable [label="variable: _receivers\naddress[]\ntests/contract_testcases/solana/address_member_call.sol:20:13-23"]
	builtins_11 [label="builtin ArrayLength\ntests/contract_testcases/solana/address_member_call.sol:20:34-49"]
	variable_12 [label="variable: _amounts\nuint64[]\ntests/contract_testcases/solana/address_member_call.sol:20:34-42"]
	alloc_array [label="alloc array string\ninitializer: 526563656976657220636f756e7420646f6573206e6f74206d6174636820616d6f756e7420636f756e742e\ntests/contract_testcases/solana/address_member_call.sol:21:13-58"]
	number_literal [label="uint32 literal: 43\ntests/contract_testcases/solana/address_member_call.sol:21:13-58"]
	var_decl [label="variable decl uint64 total\ntests/contract_testcases/solana/address_member_call.sol:24:9-25"]
	number_literal_16 [label="uint64 literal: 0\ntests/contract_testcases/solana/address_member_call.sol:24:24-25"]
	for [label="for\ntests/contract_testcases/solana/address_member_call.sol:25:9-27:10"]
	var_decl_18 [label="variable decl uint8 i\ntests/contract_testcases/solana/address_member_call.sol:25:14-25"]
	number_literal_19 [label="uint8 literal: 0\ntests/contract_testcases/solana/address_member_call.sol:25:24-25"]
	less [label="less\ntests/contract_testcases/solana/address_member_call.sol:25:27-48"]
	zero_ext [label="zero extend uint32\ntests/contract_testcases/solana/address_member_call.sol:25:27-28"]
	variable_22 [label="variable: i\nuint8\ntests/contract_testcases/solana/address_member_call.sol:25:27-28"]
	builtins_23 [label="builtin ArrayLength\ntests/contract_testcases/solana/address_member_call.sol:25:31-48"]
	variable_24 [label="variable: _receivers\naddress[]\ntests/contract_testcases/solana/address_member_call.sol:25:31-41"]
	expr_25 [label="expression\ntests/contract_testcases/solana/address_member_call.sol:25:50-53"]
	post_increment [label="post increment\nuint8\ntests/contract_testcases/solana/address_member_call.sol:25:50-53"]
	variable_27 [label="variable: i\nuint8\ntests/contract_testcases/solana/address_member_call.sol:25:50-51"]
	expr_28 [label="expression\ntests/contract_testcases/solana/address_member_call.sol:26:13-33"]
	assign [label="assign\nvoid\ntests/contract_testcases/solana/address_member_call.sol:26:13-33"]
	variable_30 [label="variable: total\nuint64\ntests/contract_testcases/solana/address_member_call.sol:26:13-18"]
	add [label="add\nuint64\ntests/contract_testcases/solana/address_member_call.sol:26:13-33"]
	variable_32 [label="variable: total\nuint64\ntests/contract_testcases/solana/address_member_call.sol:26:13-18"]
	load [label="load uint64\ntests/contract_testcases/solana/address_member_call.sol:26:22-33"]
	subscript [label="subscript uint64[]\ntests/contract_testcases/solana/address_member_call.sol:26:22-33"]
	variable_35 [label="variable: _amounts\nuint64[]\ntests/contract_testcases/solana/address_member_call.sol:26:22-30"]
	variable_36 [label="variable: i\nuint8\ntests/contract_testcases/solana/address_member_call.sol:26:31-32"]
	expr_37 [label="expression\ntests/contract_testcases/solana/address_member_call.sol:28:9-31:10"]
	builtins_38 [label="builtin Require\ntests/contract_testcases/solana/address_member_call.sol:28:9-16"]
	equal_39 [label="equal\ntests/contract_testcases/solana/address_member_call.sol:29:13-27"]
	variable_40 [label="variable: total\nuint64\ntests/contract_testcases/solana/address_member_call.sol:29:13-18"]
	variable_41 [label="variable: value\nuint64\ntests/contract_testcases/solana/address_member_call.sol:29:22-27"]
	alloc_array_42 [label="alloc array string\ninitializer: 546f74616c207061796d656e742076616c756520646f6573206e6f74206d617463682065746865722073656e74\ntests/contract_testcases/solana/address_member_call.sol:30:13-60"]
	number_literal_43 [label="uint32 literal: 45\ntests/contract_testcases/solana/address_member_call.sol:30:13-60"]
	for_44 [label="for\ntests/contract_testcases/solana/address_member_call.sol:33:9-35:10"]
	var_decl_45 [label="variable decl uint8 i\ntests/contract_testcases/solana/address_member_call.sol:33:14-25"]
	number_literal_46 [label="uint8 literal: 0\ntests/contract_testcases/solana/address_member_call.sol:33:24-25"]
	less_47 [label="less\ntests/contract_testcases/solana/address_member_call.sol:33:27-48"]
	zero_ext_48 [label="zero extend uint32\ntests/contract_testcases/solana/address_member_call.sol:33:27-28"]
	variable_49 [label="variable: i\nuint8\ntests/contract_testcases/solana/address_member_call.sol:33:27-28"]
	builtins_50 [label="builtin ArrayLength\ntests/contract_testcases/solana/address_member_call.sol:33:31-48"]
	variable_51 [label="variable: _receivers\naddress[]\ntests/contract_testcases/solana/address_member_call.sol:33:31-41"]
	expr_52 [label="expression\ntests/contract_testcases/solana/address_member_call.sol:33:50-53"]
	post_increment_53 [label="post increment\nuint8\ntests/contract_testcases/solana/address_member_call.sol:33:50-53"]
	variable_54 [label="variable: i\nuint8\ntests/contract_testcases/solana/address_member_call.sol:33:50-51"]
	expr_55 [label="expression\ntests/contract_testcases/solana/address_member_call.sol:34:13-57"]
	builtins_56 [label="builtin PayableTransfer\ntests/contract_testcases/solana/address_member_call.sol:34:13-57"]
	cast [label="cast address payable\ntests/contract_testcases/solana/address_member_call.sol:34:13-35"]
	load_58 [label="load address\ntests/contract_testcases/solana/address_member_call.sol:34:13-35"]
	subscript_59 [label="subscript address[]\ntests/contract_testcases/solana/address_member_call.sol:34:21-34"]
	variable_60 [label="variable: _receivers\naddress[]\ntests/contract_testcases/solana/address_member_call.sol:34:21-31"]
	variable_61 [label="variable: i\nuint8\ntests/contract_testcases/solana/address_member_call.sol:34:32-33"]
	cast_62 [label="cast uint64\ntests/contract_testcases/solana/address_member_call.sol:34:45-56"]
	load_63 [label="load uint64\ntests/contract_testcases/solana/address_member_call.sol:34:45-56"]
	subscript_64 [label="subscript uint64[]\ntests/contract_testcases/solana/address_member_call.sol:34:45-56"]
	variable_65 [label="variable: _amounts\nuint64[]\ntests/contract_testcases/solana/address_member_call.sol:34:45-53"]
	variable_66 [label="variable: i\nuint8\ntests/contract_testcases/solana/address_member_call.sol:34:54-55"]
	emit [label="emit\nevent MyContract.Receipt\ntests/contract_testcases/solana/address_member_call.sol:37:9-43:10"]
	cast_68 [label="cast address\ntests/contract_testcases/solana/address_member_call.sol:38:13-23"]
	builtins_69 [label="builtin Sender\ntests/contract_testcases/solana/address_member_call.sol:38:13-23"]
	number_literal_70 [label="address literal: 0\ntests/contract_testcases/solana/address_member_call.sol:39:13-54"]
	variable_71 [label="variable: _receivers\naddress[]\ntests/contract_testcases/solana/address_member_call.sol:40:13-23"]
	variable_72 [label="variable: _amounts\nuint64[]\ntests/contract_testcases/solana/address_member_call.sol:41:13-21"]
	variable_73 [label="variable: _payment\nstring\ntests/contract_testcases/solana/address_member_call.sol:42:13-21"]
	diagnostic [label="pragma 'solidity' is ignored\nlevel Debug\ntests/contract_testcases/solana/address_member_call.sol:2:1-24"]
	diagnostic_76 [label="found contract 'MyContract'\nlevel Debug\ntests/contract_testcases/solana/address_member_call.sol:4:1-45:2"]
	events -> Receipt
	contracts -> contract
	contract -> send [label="function"]
	send -> parameters [label="parameters"]
	send -> expr [label="body"]
	expr -> builtins [label="expr"]
	builtins -> equal [label="arg #0"]
	equal -> builtins_9 [label="left"]
	builtins_9 -> variable [label="arg #0"]
	equal -> builtins_11 [label="right"]
	builtins_11 -> variable_12 [label="arg #0"]
	builtins -> alloc_array [label="arg #1"]
	alloc_array -> number_literal [label="length"]
	expr -> var_decl [label="next"]
	var_decl -> number_literal_16 [label="init"]
	var_decl -> for [label="next"]
	for -> var_decl_18 [label="init"]
	var_decl_18 -> number_literal_19 [label="init"]
	for -> less [label="cond"]
	less -> zero_ext [label="left"]
	zero_ext -> variable_22 [label="expr"]
	less -> builtins_23 [label="right"]
	builtins_23 -> variable_24 [label="arg #0"]
	for -> expr_25 [label="next"]
	expr_25 -> post_increment [label="expr"]
	post_increment -> variable_27 [label="expr"]
	for -> expr_28 [label="body"]
	expr_28 -> assign [label="expr"]
	assign -> variable_30 [label="left"]
	assign -> add [label="right"]
	add -> variable_32 [label="left"]
	add -> load [label="right"]
	load -> subscript [label="expr"]
	subscript -> variable_35 [label="array"]
	subscript -> variable_36 [label="index"]
	for -> expr_37 [label="next"]
	expr_37 -> builtins_38 [label="expr"]
	builtins_38 -> equal_39 [label="arg #0"]
	equal_39 -> variable_40 [label="left"]
	equal_39 -> variable_41 [label="right"]
	builtins_38 -> alloc_array_42 [label="arg #1"]
	alloc_array_42 -> number_literal_43 [label="length"]
	expr_37 -> for_44 [label="next"]
	for_44 -> var_decl_45 [label="init"]
	var_decl_45 -> number_literal_46 [label="init"]
	for_44 -> less_47 [label="cond"]
	less_47 -> zero_ext_48 [label="left"]
	zero_ext_48 -> variable_49 [label="expr"]
	less_47 -> builtins_50 [label="right"]
	builtins_50 -> variable_51 [label="arg #0"]
	for_44 -> expr_52 [label="next"]
	expr_52 -> post_increment_53 [label="expr"]
	post_increment_53 -> variable_54 [label="expr"]
	for_44 -> expr_55 [label="body"]
	expr_55 -> builtins_56 [label="expr"]
	builtins_56 -> cast [label="arg #0"]
	cast -> load_58 [label="expr"]
	load_58 -> subscript_59 [label="expr"]
	subscript_59 -> variable_60 [label="array"]
	subscript_59 -> variable_61 [label="index"]
	builtins_56 -> cast_62 [label="arg #1"]
	cast_62 -> load_63 [label="expr"]
	load_63 -> subscript_64 [label="expr"]
	subscript_64 -> variable_65 [label="array"]
	subscript_64 -> variable_66 [label="index"]
	for_44 -> emit [label="next"]
	emit -> cast_68 [label="arg #0"]
	cast_68 -> builtins_69 [label="expr"]
	emit -> number_literal_70 [label="arg #1"]
	emit -> variable_71 [label="arg #2"]
	emit -> variable_72 [label="arg #3"]
	emit -> variable_73 [label="arg #4"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_76 [label="Debug"]
}
