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