5int main(
int argc,
char* argv[]) {
13 result = (
a.digits == &(
a.single) &&
b.digits == &(
b.single) &&
14 a.digits[0] == 16 &&
b.digits[0] == 1);
16 printf(
"REGRESSION: mp_int_swap() on self-stored values: %s\n",
17 result ?
"OK" :
"FAILED");
#define mp_int_init_value