java.io.RandomAccessFile
Not a stream file.
There is a file “pointer” which you can use to
read and write to random place in the file.
You can read and write only primitive data
types - writeByte(), writeInt(), writeBoolean()
It’s faster to jump between points in the file,
than search an entire stream file.