BITV_MAX_BYTES
unsigned char v[BITV_MAX_BYTES];
for (i = 0; i < BITV_MAX_BYTES; i++)
for (i = BITV_MAX_BYTES - 1; i > 0; i--) {
for (i = BITV_MAX_BYTES - 1; i >= 0; i--)
unsigned char prod[BITV_MAX_BYTES];
for (i = 0; i < BITV_MAX_BYTES; i++)
for (bvbyte = 0; bvbyte < BITV_MAX_BYTES; bvbyte++) {
if (valbyte + bvbyte >= BITV_MAX_BYTES) {
for (i = 0; i < BITV_MAX_BYTES; i++)
for (i = 0; i < BITV_MAX_BYTES; i++) {
for (i = 0; i < BITV_MAX_BYTES; i++) {
for (i = 0; i < BITV_MAX_BYTES; i++) {
for (i = BITV_MAX_BYTES - 1; i >= 0; i--)