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;
}
}