termination guaranteed
 snippet in no way introduces the possibility of nontermination
termination safe
 the amount of code that can introduce the possibility of nontermination is minimal