Krait optimizations