/******************************************************************************/
void bigint_copy(bigint_t* dest, const bigint_t* src){
/******************************************************************************/
void bigint_copy(bigint_t* dest, const bigint_t* src){