:: deftheorem defines RetIC SCMPDS_I:def 14 :
RetIC = 1;