Do players even own PlayStation consoles? Sony arbitrarily restrict what operating system run on hardware people buy from them.

Thanks

Now that you know, could you please add “(AI generated)” to the title? or remove the post?

Actually proving that C code is correct is not easy.

Having a human developer manually write code that is less harmful/wrong, and doesn’t require proof, is probably easier.