U32/mul.kind