2^80 * 32 bits