The KILL operation can be used within a program or outside of program execution. When used within a program, it halts execution of the program and discards program execution state. Because execution state is discarded, the program cannot be continued or single-stepped. Also, KILL will discard any other stored execution states from previously HALT-ed programs.
When used outside of program execution context, KILL will discard all executions states from previously HALT-ed programs.