use MixPack version of gen_raw_mulI