. "While p is the largest prime dividing b do" . . .