t1 + t2 ->	long
expect:		long

t1 + t2 ->	int
expect:		int

t1 + t2 ->	int
expect:		int

t1 + t2 ->	int
expect:		int

t1 + t2 ->	t0
expect:		t0

t1 + t2 ->	t0
expect:		t0

t1 + t2 ->	int
expect:		int

t1 + t2 ->	t00
expect:		t00