"Lots of Ada is embedded on small platforms where they statically allocate a fixed number of objects anyway."

Which is what a lot of c code does too. And zig might too?