But why is having a pair of separate independent operations, fork and exec, required to achieve this? A single fexec call could be implemented to work in the wa

But why is having a pair of separate independent operations, fork and exec, required to achieve this? A single fexec call could be implemented to work in the way you describe, no?