theorem :: SCM_HALT:47

canceled;