kill INT => $pid;
# which is the same as
kill 'INT', $pid;