in src/aes.c [287:299]
void AES_reset(amcl_aes *a,int mode,const char *iv)
{
/* reset mode, or reset iv */
int i;
a->mode=mode;
for (i=0; i<4*NB; i++)
a->f[i]=0;
if (mode!=ECB && iv!=NULL)
{
for (i=0; i<4*NB; i++)
a->f[i]=iv[i];
}
}