print " <flash>";
print $text[0];
print "</flash>\n";
+print " <$platform-flash>";
+print $text[0];
+print "</$platform-flash>\n";
print " <stack>";
print $text[2];
print "</stack>\n";
+print " <$platform-stack>";
+print $text[2];
+print "</$platform-stack>\n";
print "</metrics>\n";