replace magic number 9 with "SIGKILL"