#700 Added variant of mul_no_alloc_nn, with work vector