public static void back(char c, ShortTermMemoryReader reader) { if (c != (char) -1) { reader.back(); } }