waitpid($pid_c, 0); # wait until $pid_c terminates