He added a breakpoint to check the stack pointer. He watched the memory addresses. He ran it a hundred times. No overflow. No null pointers.