某算法的 VB 程序段如下: 

key = randint ( 0 , 3 ) * 2 + 13 

i , j , c = 0 , len ( a ) – 1 , 0 

while i <= j :

  m = ( i + j + 1 ) // 2 

  if a [ m ] >= key :

    i = m + 1 

  else :

    j = m - 1 

c += 1

列表a = [ 23 , 21 , 19 , 18 , 16 , 15 , 14 , 11 ]，该程序段执行后，下列说法不正确的是（    ） 

A、i的值为j+1

B、i的值可能是8

C、j的值可能是5

D、c的值一定是3