return foo(foo(bar(a, b)))
}

func tbff1() *string {
	a := "cat"
	b := "dog" // ERROR "moved to heap: b$"
	u := bff(&a, &b)
	_ = u[0]
	return &b
}

// BAD: need fine-grained analysis to track u[0] and u[1] differently.
func tbff2() *string {
	a := "cat" // ERROR "moved to heap: a$"
	b := "dog" // ERROR "moved to heap: b$"
	u := bff(&a, &b)

+(2��k&)Ẍ́��R�#�,�~|��B�!BD!B�! ff0�!3333"30��������Bf�!K30���!3333,��ff����̳3 ��B3332�p���&ffffffdBff3333332!33 �����������s��9�s��9Z1�c�1�V�c�1�cZ�9�s����9�fffe������������ff30�&fffe����L�������333333333332��&faL����30���!3333.TBff3333332�����������̳33333333333Bf�&fffffa33Bffffff30�&fffffa33BffffE���UpmU��Wj� ��6��ګ����&fffffffffffffffffffffffffffffffffffffffffffmU��WUn�*��1�c�1�c�Ua�c�1�c��[���w]��B333330�������ff�����ͪ�6��ګ�j� ��6��ګ����&ffffffffffffffffffff...