s2                 64 kern/startup/menu.c 		s2--;
s2                 68 kern/startup/menu.c 	*rs = s2 - s1;