lib: micro-optimization for imulK