public void ToRichText(RichTextBuilder builder)
{
builder.AppendFormat("{0}: ", AddressString);
Opcode.ToRichText(builder);
for (int index = 0; index < Operands.Count; index++) {
builder.Append(index == 0 ? " " : ", ");
Operands[index].ToRichText(builder);
}
}