Related, Apple has a safer C variant they use to build firmware:

https://saaramar.github.io/iBoot_firebloom/