chop_out
chop_out(off, (unsigned) i, (unsigned) (i + k2));
(void) chop_out(off, (unsigned) i, (unsigned) j);
chop_out(tmp, (unsigned) i, (unsigned) j);