loc-path1
PC # = 2
((i_1_SYMINT[200] + CONST_128) - CONST_128) >= CONST_200 &&
i_1_SYMINT[200] >= CONST_128
SPC # = 0
TestSMS.main(String[])@10-->TestSMS.doIt2(int)@28-->TestSMS.sendLoc(int)@42-->TestSMS.sendLoc2(int)@47
****************************
loc-path2
PC # = 2
((i_1_SYMINT[128] + CONST_128) - CONST_128) < CONST_200 &&
i_1_SYMINT[128] >= CONST_128
SPC # = 0
TestSMS.main(String[])@10-->TestSMS.doIt2(int)@28-->TestSMS.sendLoc(int)@42-->TestSMS.sendLoc2(int)@49
****************************
sms
PC # = 1
i_1_SYMINT[-1000000] < CONST_128
SPC # = 0
TestSMS.main(String[])@10-->TestSMS.doIt2(int)@30-->TestSMS.sendSMS()@54
****************************