theorem :: SCM_HALT:46

canceled;