static void EmitCodeIndex(StringBuilder builder, string code, int index) { builder.EnsureCapacity(builder.Length + 8 + code.Length); builder.Append('\\'); builder.Append(code); builder.Append(index); builder.Append(' '); }