theorem :: SCM_HALT:60

canceled;