theorem :: SCM_HALT:3

canceled;