string join(string joiner, string[int] pieces);
print(join(", ", "lions/tigers/bears/oh my!".split_string("/")));
string join(string joiner, string[int] pieces) {
buffer buf;
boolean first = true;
foreach index in pieces {
if(!first) buf.append(joiner);
first = false;
buf.append(pieces[index]);
}
return buf.to_string();
}