void silc_mp_mul_2exp(SilcMPInt *dst, SilcMPInt *mp1, SilcUInt32 exp);

    Multiply integers `mp1' with 2 ** `exp' and save the result to
    `dst'. This is equivalent to dst = mp1 * (2 ^ exp).