void silc_mp_add_ui(SilcMPInt *dst, SilcMPInt *mp1, SilcUInt32 ui);
Add two integers `mp1' and unsigned word `ui' and save the result to `dst'.