>It feels crazy that we don't have a way to directly express the latter thing
Isn't that what posix_spawn is for?
Isn't that what posix_spawn is for?
And of course that has already been done. On NetBSD, posix_spawn() is a fully-fledged system call and much of the work is done in kernel mode.
* https://blog.netbsd.org/tnf/entry/posix_spawn_syscall_added