{HEAD ~ program execution} terminating {TAIL ~ means} for terminating the program execution when the computer system is judged by the non resumable condition judging means to meet the non resumable condition 
terminating
{ HEAD ~ program execution } terminating { TAIL ~ means } for terminating the program execution when the computer system is judged by the non resumable condition judging means to meet the non resumable condition
HEAD HEAD HEAD HEAD HEAD HEAD REL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH