Isn't Microsoft already using LLMs to convert low efficiency components of Windows into higher efficiency implementations, for example by conversion to Rust?