void silc_mp_mul_ui(SilcMPInt *dst, SilcMPInt *mp1, SilcUInt32 ui);
Multiply integer `mp1' and unsigned word `ui' and save the result to `dst'.