let
mon_system
args
=
mon_execvp
"/bin/sh"
[|
"-c"
;
args
|] ;;