This is a sub-component of mul02, q.v.
