strict digraph "tests/contract_testcases/solana/multidimensional_array.sol" {
	contract [label="contract Testing\ntests/contract_testcases/solana/multidimensional_array.sol:1:1-8:2"]
	var [label="variable stor_arr\nvisibility internal\ntests/contract_testcases/solana/multidimensional_array.sol:3:5-28"]
	getThis [label="function getThis\ncontract: Testing\ntests/contract_testcases/solana/multidimensional_array.sol:4:5-52\nsignature getThis()\nvisibility public\nmutability view"]
	returns [label="returns\nuint16 "]
	var_decl [label="variable decl uint16[2][4][] arr2\ntests/contract_testcases/solana/multidimensional_array.sol:5:9-46"]
	storage_load [label="storage load uint16[2][4][]\ntests/contract_testcases/solana/multidimensional_array.sol:5:38-46"]
	storage_var [label="storage variable\nTesting.stor_arr\nuint16[2][4][] storage\ntests/contract_testcases/solana/multidimensional_array.sol:5:38-46"]
	return [label="return\ntests/contract_testcases/solana/multidimensional_array.sol:6:9-29"]
	load [label="load uint16\ntests/contract_testcases/solana/multidimensional_array.sol:6:9-29"]
	subscript [label="subscript uint16[2]\ntests/contract_testcases/solana/multidimensional_array.sol:6:16-29"]
	subscript_11 [label="subscript uint16[2][4]\ntests/contract_testcases/solana/multidimensional_array.sol:6:16-26"]
	subscript_12 [label="subscript uint16[2][4][]\ntests/contract_testcases/solana/multidimensional_array.sol:6:16-23"]
	variable [label="variable: arr2\nuint16[2][4][]\ntests/contract_testcases/solana/multidimensional_array.sol:6:16-20"]
	number_literal [label="uint32 literal: 1\ntests/contract_testcases/solana/multidimensional_array.sol:6:21-22"]
	number_literal_15 [label="uint32 literal: 1\ntests/contract_testcases/solana/multidimensional_array.sol:6:24-25"]
	number_literal_16 [label="uint32 literal: 1\ntests/contract_testcases/solana/multidimensional_array.sol:6:27-28"]
	diagnostic [label="found contract 'Testing'\nlevel Debug\ntests/contract_testcases/solana/multidimensional_array.sol:1:1-8:2"]
	contracts -> contract
	contract -> var [label="variable"]
	contract -> getThis [label="function"]
	getThis -> returns [label="returns"]
	getThis -> var_decl [label="body"]
	var_decl -> storage_load [label="init"]
	storage_load -> storage_var [label="expr"]
	var_decl -> return [label="next"]
	return -> load [label="expr"]
	load -> subscript [label="expr"]
	subscript -> subscript_11 [label="array"]
	subscript_11 -> subscript_12 [label="array"]
	subscript_12 -> variable [label="array"]
	subscript_12 -> number_literal [label="index"]
	subscript_11 -> number_literal_15 [label="index"]
	subscript -> number_literal_16 [label="index"]
	diagnostics -> diagnostic [label="Debug"]
}
