Symbol: __bign_siglen