krait optimizations