how to implication mul.wide.u32 in C code? if there is any C code which can be compiled to mul.wide.u32 ?