RecordFlux: addressing binary protocol parser vulnerabilities

Ada is by far my favorite programming language, and I really need to spend more time writing about it.

Its type system is perfect for this kind of thing and I've done similar to define binary protocols by hand with Ada records in the past.

A lot of people think that it is a dead language, but the latest standard is Ada2022!