https://gautiersblog.blogspot.com/2024/11/writing-bzip2-encoder-in-ada-from.html