Include header for kill()