not i destroysdestroy intloc 0 by SCM_HALT:def 6;
hence Macro i is good by SCMFSA8C:99; :: thesis: verum