fork, exec elaboration