[makira]

This is great! Not sure which high level language you are targetting, but consider Subrust instead of C:

https://github.com/orbitalhigh/subrust

How does LowIRSSA compare to P1pp from boot2 ?