extern int Bignum_PoolA, Bignum_PoolB, Bignum_PoolC, Bignum_PoolD;
void Bignum_FromInt(int *p, unsigned short a, unsigned short b, int c)
{
  p[0] = 0;
  p[1] = 0;
  p[2] = 0;
  *(unsigned short *)((int)p + 12) = a;
  *(unsigned short *)((int)p + 14) = b;
  p[4] = 0;
  p[6] = 0;
  p[7] = (int)p;
  p[8] = (int)&Bignum_PoolA;
  p[9] = (int)&Bignum_PoolB;
  p[10] = (int)&Bignum_PoolC;
  p[11] = (int)&Bignum_PoolD;
  *(int *)((int)p + 84) = c;
}