extern int Bignum_Clone(int);
extern int g;
int Bignum_CloneAndReturn(void) { return Bignum_Clone(g); }