127   uint32 v = 0x80000000;  in uint32_divmod_uint14()  local
403   uint32 v = u; /* 0, else 1...65535 */  in int16_nonzero_mask()  local
529   small f[p+1],g[p+1],v[p+1],r[p+1];  in R3_recip()  local
614   Fq f[p+1],g[p+1],v[p+1],r[p+1];  in Rq_recip3()  local
672   uint32 L[p];  in Short_fromlist()  local
715   uint32 L[p];  in Short_random()  local
845 static void Expand(uint32 *L,const unsigned char *k)  in Expand()
880   uint32 L[p];  in Generator()  local
892   uint32 L[p];  in HashShort()  local
1058   small f[p],v[p];  in ZKeyGen()  local
1079   small f[p],v[p];  in ZDecrypt()  local