#1[0] → #2 · DATAA  #1#1 A Type not computed [0] → #2 DATA0B  #2#2 B Type not computed