halon system went off and killed the operators.