unresolved symbol(s):
	foo needs tag1 (tag [I32, I32] -> [])
	foo needs tag2 (tag [I32] -> [])