private static void GoBack(int num) { int width; while (num > 0) { --posn; width = widths[posn]; column -= width; while (width > 0) { Console.Write('\u0008'); --width; } --num; } }