theorem :: SCM_HALT:1

canceled;