}
b.append("\"/>\n");
} else if (a instanceof Send) {
serializeSend(b, (Send) a, indent);
} else if (a instanceof Cancel) {
Cancel c = (Cancel) a;
b.append(indent).append("<cancel sendid=\"")
.append(c.getSendid()).append("\"/>\n");
} else if (a instanceof Log) {
Log lg = (Log) a;
b.append(indent).append("<log expr=\"").append(lg.getExpr())
.append("\"/>\n");
} else if (a instanceof Exit) {