public static void printCharacter(char renamed_Char, PrintableStringWriter stream) {
    stream.print("#\\");
    switch (renamed_Char) {
      case '\n': 
        stream.print("Linefeed");
      break;
      case '\b': 
        stream.print("Backspace");
      break;
      case '\t': 
        stream.print("Tab");
      break;
      case '\r': 
        stream.print("Return");
      break;
      case '\f': 
        stream.print("Page");
      break;
      default:
        stream.print(renamed_Char);
      break;
    }
  }