                                                {
             // Avoid duplicate outputs
             if(output_history.Count>0 && s==output_history.Last()) {
                 repeat_counter++;
                 return;
             }
             else {
                 if(repeat_counter>1) output_s += " [x"+repeat_counter+"]";
                 repeat_counter = 1;
             }
 
             output_history.Add(s);
             output_s += s;
 
             OnPrint.Invoke(s);
         }