What does tree SSA form do with functions that return more than one value? Is it legitimate to have something like a.3, b.2 <- foo (bar.6, baz.9 ) ? (No, this isn't relevant to Java. But some languages can return more than one value.) Andrew.