#16 arjsec_l.c:96: sanity check after use looks wrong ?

[dcb]

[arjsec_l.c:96] -> [arjsec_l.c:97]: (warning) Array 'arjsec_seeds[8]' accessed at index 11, which is out of bounds. Otherwise condition 'term1<=11' is redundant.

Source code is

term3^=arjsec_seeds[term1]%16;
if(term1>=8&&term1<=11)
term1%=8;

Suggest sanity check term1 before use.