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