Help for this page
my $pid = fork(); if ($pid == 0) { ... exit; }
my $attempt = kill('INT', $pid_of_child_process);