Since you mentioned Zig, I'd like to ask a tangential question in case someone could chime in.

Is there any way to have Zig output a flat binary? I am looking for a higher level FlatAssembler. [0]

[0] https://flatassembler.net/