Symbol: int32_mod_uint14
sbin/iked/sntrup761.c
427
return int32_mod_uint14(x+1,3)-1;
sbin/iked/sntrup761.c
440
return int32_mod_uint14(x+q12,q)-q12;