theorem :: SCM_HALT:55

canceled;