appendCast(buf, rhs, type); else rhs.appendTo(buf);
appendCast(buf, rhs, type); else rhs.appendTo(buf);
appendCast(buf, rhs, type); else rhs.appendTo(buf);
appendCast(buf, rhs, type); else rhs.appendTo(buf);
appendCast(buf, rhs, type); else rhs.appendTo(buf);