extern int Bignum_SetZero(int);
extern int g;
int Bignum_GetSize(void) { return Bignum_SetZero(g); }