Like Shiro, I would strongly favor a process object, for basically the
same reasons he stated.

That leads to the question: should not-yet-spawned and spawned processes
be the same type of object, and do we even need to specify that.