https://shoesandroidblog.blogspot.com/2022/12/android-file-io-openfileinput-undefined.html