:: deftheorem defines RetSP SCMPDS_I:def 13 :
RetSP = 0 ;