Code Library

function kill_pid() {
  kill "$pid"
}