termination_measure walk32(_,_,_,_,_,_,level,_) = level