case 0 ≦ i ≦ 15 do