The key requirement is memory safety, which would rule out Zig.