strict digraph "tests/contract_testcases/solana/expressions/bytes32_0_02.sol" {
	contract [label="contract foo\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:2:9-14:10"]
	var [label="variable x\nvisibility public\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:3:13-36"]
	number_literal [label="bytes32 literal: 0\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:3:32-36"]
	var_4 [label="variable y\nvisibility public\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:4:13-42"]
	number_literal_5 [label="bytes32 literal: 0\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:4:32-42"]
	var_6 [label="variable z1\nvisibility public\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:5:13-42"]
	number_literal_7 [label="bytes3 literal: 1048576\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:5:32-42"]
	var_8 [label="variable z2\nvisibility public\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:7:13-42"]
	number_literal_9 [label="bytes3 literal: 0\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:7:32-42"]
	var_10 [label="variable z3\nvisibility public\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:9:13-45"]
	number_literal_11 [label="bytes3 literal: 0\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:9:32-45"]
	x [label="function x\ncontract: foo\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:3:28-29\nsignature x()\nvisibility public\nmutability view"]
	returns [label="returns\nbytes32 "]
	return [label="return\nimplicit"]
	storage_load [label="storage load bytes32\nimplicit"]
	storage_var [label="storage variable\nfoo.x\nbytes32 storage\nimplicit"]
	y [label="function y\ncontract: foo\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:4:28-29\nsignature y()\nvisibility public\nmutability view"]
	returns_18 [label="returns\nbytes32 "]
	return_19 [label="return\nimplicit"]
	storage_load_20 [label="storage load bytes32\nimplicit"]
	storage_var_21 [label="storage variable\nfoo.y\nbytes32 storage\nimplicit"]
	z1 [label="function z1\ncontract: foo\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:5:27-29\nsignature z1()\nvisibility public\nmutability view"]
	returns_23 [label="returns\nbytes3 "]
	return_24 [label="return\nimplicit"]
	storage_load_25 [label="storage load bytes3\nimplicit"]
	storage_var_26 [label="storage variable\nfoo.z1\nbytes3 storage\nimplicit"]
	z2 [label="function z2\ncontract: foo\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:7:27-29\nsignature z2()\nvisibility public\nmutability view"]
	returns_28 [label="returns\nbytes3 "]
	return_29 [label="return\nimplicit"]
	storage_load_30 [label="storage load bytes3\nimplicit"]
	storage_var_31 [label="storage variable\nfoo.z2\nbytes3 storage\nimplicit"]
	z3 [label="function z3\ncontract: foo\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:9:27-29\nsignature z3()\nvisibility public\nmutability view"]
	returns_33 [label="returns\nbytes3 "]
	return_34 [label="return\nimplicit"]
	storage_load_35 [label="storage load bytes3\nimplicit"]
	storage_var_36 [label="storage variable\nfoo.z3\nbytes3 storage\nimplicit"]
	b32 [label="function b32\ncontract: foo\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:11:13-59\nsignature b32()\nvisibility public\nmutability pure"]
	returns_38 [label="returns\nbytes32 r"]
	diagnostic [label="found contract 'foo'\nlevel Debug\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:2:9-14:10"]
	diagnostic_41 [label="negative number cannot be converted to type 'bytes32'\nlevel Error\ntests/contract_testcases/solana/expressions/bytes32_0_02.sol:12:21-32"]
	contracts -> contract
	contract -> var [label="variable"]
	var -> number_literal [label="initializer"]
	contract -> var_4 [label="variable"]
	var_4 -> number_literal_5 [label="initializer"]
	contract -> var_6 [label="variable"]
	var_6 -> number_literal_7 [label="initializer"]
	contract -> var_8 [label="variable"]
	var_8 -> number_literal_9 [label="initializer"]
	contract -> var_10 [label="variable"]
	var_10 -> number_literal_11 [label="initializer"]
	contract -> x [label="function"]
	x -> returns [label="returns"]
	x -> return [label="body"]
	return -> storage_load [label="expr"]
	storage_load -> storage_var [label="expr"]
	contract -> y [label="function"]
	y -> returns_18 [label="returns"]
	y -> return_19 [label="body"]
	return_19 -> storage_load_20 [label="expr"]
	storage_load_20 -> storage_var_21 [label="expr"]
	contract -> z1 [label="function"]
	z1 -> returns_23 [label="returns"]
	z1 -> return_24 [label="body"]
	return_24 -> storage_load_25 [label="expr"]
	storage_load_25 -> storage_var_26 [label="expr"]
	contract -> z2 [label="function"]
	z2 -> returns_28 [label="returns"]
	z2 -> return_29 [label="body"]
	return_29 -> storage_load_30 [label="expr"]
	storage_load_30 -> storage_var_31 [label="expr"]
	contract -> z3 [label="function"]
	z3 -> returns_33 [label="returns"]
	z3 -> return_34 [label="body"]
	return_34 -> storage_load_35 [label="expr"]
	storage_load_35 -> storage_var_36 [label="expr"]
	contract -> b32 [label="function"]
	b32 -> returns_38 [label="returns"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_41 [label="Error"]
}
