theorem :: SCM_HALT:48

canceled;