theorem :: SCM_HALT:25

canceled;