Symbol: bign_siglen