(According to the run end format used in the preferred embodiment of the invention, "length of buffer beginning at P" is simply the halfword addressed by P.) After execution of this loop, P will contain the address of the desired line. The requirement that the stack must contain an entry...