Current article text doesn’t seem to match the post image. The fine is closer to 51 million than 51 billion USD.
4.6 billion rubles ($50.8 million)
According to the Form 4 filed with this sale, the trade was planned at least as of May 19 using a 10b5-1.
The sales reported on this Form 4 were effected pursuant to a Rule 10b5-1 trading plan adopted by the Reporting Person on May 19, 2023.
It’s one backed by a lot of data. One example is from the Android project.
https://security.googleblog.com/2024/09/eliminating-memory-safety-vulnerabilities-Android.html
There’s an argument that critical infrastructure software vendors are already meeting standards for basic, non-memory related items. Yes, there are other categories, but memory safety is one that’s harder to verify. Moving to memory safe languages is an ensure a category of correctness. This excludes usage of unsafe escape hatches.