In a(n) ____ check, the programmer "walks" through the program design, keeping track of the values of any loop counters and other variables in a tracing table to ensure the program does what it is intended to do.
a. line
b. desk
c. alpha
d. beta