[eggy]

Don't forget this list of expectations for SPARK [1] too, if you want even safer, high-integrity, and formally verified code on Android!

[1] https://www.adacore.com/about-spark

[iknowstuff]

I think we can indeed forget about it.

[pjmlp]

Android has zero lines of Ada code, why should I care about it in this case?