#! /bin/sh
kill "$@" "$$"
