extern void Bignum_FreeDigits(int, int, int);
void Bignum_Free_0801C968(int a, int b)
{
  int c = *(int *)0x02000938;
  Bignum_FreeDigits(c, a, b);
}