Do not complain about abnormal termination when we explicitly kill kind