TestParams.dot

digraph {
	subgraph cluster_0 {
		color=black;
		label="entry";
		"t0 = new [3]any (varargs)\n(Alloc)" [shape=rectangle];
		"t1 = &t0[0:int]\n(IndexAddr)" [shape=rectangle];
		"t2 = make any <- int (a)\n(MakeInterface)" [shape=rectangle];
		"*t1 = t2\n(Store)" [shape=diamond];
		"t3 = &t0[1:int]\n(IndexAddr)" [shape=rectangle];
		"t4 = make any <- int (b)\n(MakeInterface)" [shape=rectangle];
		"*t3 = t4\n(Store)" [shape=diamond];
		"t5 = &t0[2:int]\n(IndexAddr)" [shape=rectangle];
		"t6 = make any <- string (c)\n(MakeInterface)" [shape=rectangle];
		"*t5 = t6\n(Store)" [shape=diamond];
		"t7 = slice t0[:]\n(Slice)" [shape=rectangle];
		"t8 = fmt.Println(t7...)\n(Call)" [shape=rectangle];
		"return\n(Return)" [shape=diamond];
	}
	"t0 = new [3]any (varargs)\n(Alloc)" -> "t1 = &t0[0:int]\n(IndexAddr)" [color=orange];
	"0:int\n(Const)" -> "t1 = &t0[0:int]\n(IndexAddr)" [color=orange];
	"a\n(Parameter)" -> "t2 = make any <- int (a)\n(MakeInterface)" [color=orange];
	"t1 = &t0[0:int]\n(IndexAddr)" -> "*t1 = t2\n(Store)" [color=orange];
	"t2 = make any <- int (a)\n(MakeInterface)" -> "*t1 = t2\n(Store)" [color=orange];
	"t0 = new [3]any (varargs)\n(Alloc)" -> "t3 = &t0[1:int]\n(IndexAddr)" [color=orange];
	"1:int\n(Const)" -> "t3 = &t0[1:int]\n(IndexAddr)" [color=orange];
	"b\n(Parameter)" -> "t4 = make any <- int (b)\n(MakeInterface)" [color=orange];
	"t3 = &t0[1:int]\n(IndexAddr)" -> "*t3 = t4\n(Store)" [color=orange];
	"t4 = make any <- int (b)\n(MakeInterface)" -> "*t3 = t4\n(Store)" [color=orange];
	"t0 = new [3]any (varargs)\n(Alloc)" -> "t5 = &t0[2:int]\n(IndexAddr)" [color=orange];
	"2:int\n(Const)" -> "t5 = &t0[2:int]\n(IndexAddr)" [color=orange];
	"c\n(Parameter)" -> "t6 = make any <- string (c)\n(MakeInterface)" [color=orange];
	"t5 = &t0[2:int]\n(IndexAddr)" -> "*t5 = t6\n(Store)" [color=orange];
	"t6 = make any <- string (c)\n(MakeInterface)" -> "*t5 = t6\n(Store)" [color=orange];
	"t0 = new [3]any (varargs)\n(Alloc)" -> "t7 = slice t0[:]\n(Slice)" [color=orange];
	"Println\n(Function)" -> "t8 = fmt.Println(t7...)\n(Call)" [color=orange];
	"t7 = slice t0[:]\n(Slice)" -> "t8 = fmt.Println(t7...)\n(Call)" [color=orange];
}