------------------------SDT2-wMobileSt----------------------------------------------------ObjectName----------------------------------------ObjectType----------------------------------------!%&()LinkEndpoints--------------------------------!%()HeadingText----------------------------------- eMobileSt-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------5--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[8(! process MobileSt)]}------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------(()[8(! (1, 1);)]}* CIF CurrentPage 1 */ /* CIF TEXT (886, 1316), (984, 440) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */ /* To store the SDL PID of the Base Tx Stations. Necessary to send a sig nal to a given BTS. */)]}---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! d)]][ (! 6)][2z(! 6X,! d!S)[8(! ) !%()HeadingText-----------------------------------!%()PageOrder-------------------------------------1-------------------------------------------------DefinitionPage------------------------------------ df!%()HeaderText------------------------------------1-------------------------------------------------4-------------------------------------------------7------------------------------------------------- $A 0R][}(!!")[(! 6!Z)][3(! 6X! d!S)[8(! waitInit1)]]]]]]} /* CIF Keep Specific Geode Font 'fixed' ()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6&! d!S)[8(! p 10ep Specific Geode Modified */ dcl caller, ca11initionPageondant Mobile_ID_t, rand NATURAL, 2finitionPage called_status called_state_t, r3finitionPage bil_report billing_report_t; /* C \b owerOff)][(!&&!"&&)[(! 6! d!S!)[8(! call_ind)][1z(!!"X)[7w (! 6!! !S)[8(! (caller, called))]]][(!& &R!"&R& )[(! 6R! d!S!)[8(! call_resp)][1(!!")[7}(! 6R!! !S)[8(!S (called_unreachable, me, caller, BTSReceived) /* to BTS_PIDs( BTSreceived) */)]]][(!&&~!"&~&)[(! 6&~!Z)][3(! 6~! d!S)[8(! -)]]]]]]]]]]} -)]]]]]]]]]]}ceived) /* to BTS_PIDs( BTSreceived) */ /* CIF NEXTSTATE (2591, 565), (188, 77) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!&&~!"&~&)[(! 6&~!Z)][3(! 6~!  d!S)[8(! -)]]]]]]]]]]}UTPUT (1486, 696), (200, 120) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */))][()[(! disable /* CIF NEXTSTATE (1470, 846), (233, 80) */ /* C5@()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6d! d!S)[8(! waitCheckPIN)][(!^^!"^^)[(! 6! d!S!)[8(! PIN_OK)][1(!,,!",,,)[7(! 6!! !S)[8(! (status))]]][(!^^^!"^^^)[ (! 6! d!S)[8(! status)][(!^^&!"^&^)[8(! 6q! (TRUE))][(! 6&! d!S!)[8(! unlock)][(!^^ !"^ ^)[(! 6^ !Z)][3(! 6 ! d!S)[8(! listening)]]]]][(!"^^  L!"L^)[8(! 6 R! (FALSE))][(! 62L! d!S!)[8(! badPIN)][(!F!"F)[6(! 62F! d!S)[8(! )][1(!x,x!",xx)[7(! 6,F!! !S)[8(! false_pin := false_pin + 1)]]][(!!")[ (! 62! d!S)[8(! false_pin < 3)][(!r!"r)[8(! 6r! (false))][(! 62! d!S!)[8(! disable)][(!!")[6(! 62! d!S)[8(! )][1(!,!",)[7(! 6,!! !S)[8(! enabled := false)]]][(!f!"f)[(! 6f!Z)][3(! 62f! d!S)[8(! disabled)]]]]]]][(!@@!"@)[8(! 6Y! (true))][(! 6!Z)][3(! 6! d!S)[8(! askPIN)]]]]]]]]]]]]]]]]}62! d!S)[8(! false_pin < 3)][(!r!"r)[8(! 6! (false /* CIF OUTPUT (3190, 1212), (200, %120) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */))][(! 62! d!S!)[8(! disable)][1(!,!",)[7(! 6,!! !S)[8(!| /* CIF TASK (3165, 1362), ( 250, 77) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!!" )[6(! 62! d!S)[8(! )][1(!,!",)[7(! 6,!! !S)[8(! enabled! := false /* CIF NEXTSTATE (3173, 1469), (233, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!f!"f)[(! 6f!Z)][3"(! 62f! d!S)[8(! disabled)]]]]]]][(!@@!"@)[8(! 6Y! (true /* CIF NEXTSTATE (3010, 1212), (160, 80) */ /* CIF K#eep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */))][(! 6!Z)][3(! 6! d!S)[8(! askPIN)]]]]]]]]]]]]]]]]} Keep Specific Geode Modified */)][()[U()[(! l! 22!(d)[(! l)[(! 6)[ (! 6d! )]][ (! 6)][3(! 6X! d!S)[8(!P a%skPIN, conversation, listening, powerOff, ringing, waitCallConf, waitCheckPIN)][(!^!"^)["(! 6X! d!S!)[8(! BTSchanging)][1&(! R!"R )[7(! 6R!! !S)[8(! (BTSreceived))]]][ (!&!"&)[6 (! 6'X&! d!S)[8(! )][1(! XRX!"RX X)[7(! 6R&!! !S)[8(! 'Now, this mobile receives from ( BTSreceived, until the next change of cell' /* CIF TASK (3825, 562), (282, 103) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(! !" ))[6(! 6X ! d!S)[8(! )][1(! RRR!"RR R)[7(! 6R !! !S)[8(! 'Display level of the * radio signal received from the BTS' /* CIF OUTPUT (3793, 695), (345, 152) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!~!"~)[+(! 6X~! d!S!)[8(! logOn)][1(! R!"R )[7(! 6R~!! !S)[8(!= (me, BTSreceived, I,MEI) /* to BTS_PIDs( BTSreceived) */)]]][(!@!"@)[(! 6@!Z)][3(! 6X@! d!S)[8(! -)]]]]]]]]]]]]]]})]]]]]]]]]]]]]]} CIF Keep Specific Geode Modified */ comment 'Tells where I am to ''BTSreceived''. Missing in the Tisal GSM book, but my phone does it.' /* CIF NEXTSTATE (3866, 903), (200, 120) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!L@!"@L)[(! 6@!Z)][3(! 6X@! d!S)[8(! -)]]]]]]]()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3"(! 6! d!S)[8(! w15()[()][3()[(! 6finitionPage)]]]]]]][()[(!}7finitionPageF TASK (417, 768), (143, 50) */ /* CDefinitionPagec Geode TextMode 4 */ /* CIF Keep Sp /;AfaitInit4)][%(!X^X!"XX^)[((! 6! d!S!)[8(! initMS)][1(!!")[72(! 6!! !S)[8(! (BTS_ID))]]][+(!XXX!"XXX)[6.(! 6X! d!S)[8(! )][1(!3!")[7(! 6X!! !S)[8(!" /* BTS_PIDs(BTS_ID) := sender */)]]][1(!XX !"X X)[4(! 46 ! d!S!)[8(! initGUI)][1(!RR!"RR)[7(! 6 !! !S)[8(! (me))]]][7(!X5X!"XX)[:(! 6! d!S!)[8(! logOn)][1(!!")[7(! 6!!6 !S)[8(!5 (me, Paris11, IMEI) /* to BTS_PIDs( Paris11) */)]]][=(!XLXF!"XFXL)[6@(! 6F! d!S)[8(! )][1(!7xx!"xx)[7(! 6F!! !S)[8(! enabled := true)]]][C(!XX!"XX)[(! 6X8!Z)][3F(! 6! d!S)[8(! powerOff)]]]]]]]]]]]]]]]]}6X!Z)][3F(! 6! d!S)[8(! powerOff)]]]]]]]]]]]]]]]]}x!"rxx)[7(! 6F!! !S)[8(! enabled := true /* CIF NEXTSTATE (1181, 874), (166, 65) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][C:(!XX!"XX)[(! 6X!Z)][3F(! 6! d!S)[8(! powerOff)]]]]]]]]]]]]]]]]}4 */ /* CIF Keep Specific Geode Modified */)][.()[(! l! 22!(d)[(! l)[(! 6)["(! 6d! )]][ %(! 6)][3I(! 6^! d!S)[8(! d(!!")[7(! 6!! !S)[8(!S (called_unreachable, me, caller, BTSreceived) /* to BTS_PIDs( BTSreceived) */)]]][d(!&? &!"&& )[(! 6&!Z)][3g(! 6! d!S)[8(! -)]]]]]]]]]]} 4 */ /* CIF Keep Specific Geode Modified */)]]][d(!& &!"&& )[(! 6&!Z)][3g(! 6! d!S)[8(! -)]]]]]]]]]]}e Modified */))]['()[(! call_req(me, called) to BTS_PIDs(BTSreceiv9()[(! l! 22!(d)[((! l)[+(! 6)[.(! 6d! )]][ 1(! 6)][3j(! 6,! d!S)[8(! wBaitInit1)][m(!,^!"^,)[p(! 6,^! d!S!)[8(! initMS)][1(!&!"&)[7C(! 6&^!! !S)[8(! (BTS_ID, me, IMEI))]]][s(!X!"X)[6v(! 6,X! d!S)[8(! )][1(!D&!"&)[7(! 6&X!! !S)[8(!" /* BTS_PIDs(BTS_ID) := sender */)]]][y(! !" )[ |E(! 6, ! d!S)[8(! me)][(!RR~!"~R)[8(! 6k! (parispizza))][(! 6~!Z)][!(! F6&~! d!S)[8(! waitInit1_2)]]][(!RR~!"~R)[8(! 6k! (lyonpizza))][(! 6~!Z)][*(! 6G~~! d!S)[8(! waitInit1_3)]]][(!RR~!"~R)[8(! 6! (John))][(! 6~!Z)][(! 6@~H! d!S)[8(! waitInit1_1)]]][(!!")[8(! 6! (Marie))][6(! 6,! d!S)[8(! )][1I(!@&@!"&@@)[7(! 6&!! !S)[8(! p := pin_a)]]][(!r!"r)[(! 6,J! d!S!)[8(! initSIM)][1(!&!"&)[7(! 6&!! !S)[8(! (p))]]][(!:K!":)[(! 6!Z)][3(! 6,! d!S)[8(! waitInit2)]]]]]]]]]]]]]][B(! 62! d!S)[8(! waitLInit1_4)][E(!"r!"r)[(! 6!)][)()]]]]]}!"r)[(! 6!)][)()]]]]]}r)[(! 6,! d!S!)[8(! initSIM)][1(!&!"&)[7(! 6&!! !S)[8(! (p) /* CIF NEXTSTATE (530, 943), (166, 50) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!:l!"l:)[(! 6lO!Z)][3(! 6,l! d!S)[8(! waitInit2)]]]]]]]]]]]]]][B(! 62! d!S)[8(! waitInit1_4)][E(!"r!"Pr)[(! 6!)][)()]]]]]})[(! call_resp(called_ok, me, caller) to BTS_PIDs(BTSreceived) /* CIF OUTPUT (3801, 451), (170, 88) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep SSa()[(! l! 22!(d)[4(! l)[7(! 6)[:(! 6d! )]][ =(! 6)][3(! 6! d!S)[8(! aS8)[(! conversation)]]]]]]]]][9finitionPage()][()[(!DefinitionPageler) /* CIF OUTPUT (4181, 342), (547, 81) */ /* CIF Keep Specific Geode TextMode 4 */ / peciQVfdifi()skPIN)][(!,^!"^,)[(! 6^! d!S!)[8(! offKey)][(!&!"&)[T(! 6&!Z)][3(! 6&! d!S)[8(! powerOff)]]]]]]]]} /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!X!"Xt)[(! 6X!Z)][3(! 6X! d!S)[8(! powerOff)]]]]]]]]} (called_ok /* CIF OUTPUT (4628, 662), (244, 91) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep N()[(! l! 22!(d)[@(! l)[C(! 6)[F(! 6d! )]][ I(! 6)][3(! 6^! d!S)[8(! wWaitInit2)][(!^!"^)[(! 6^! d!S!)[8(! initMS)][14(!&X!"X&)[71X(! 6X!! !S)[8(! (BTS_ID))]]][(!X!"X)[6(! 6^X! d!S)[8(! )][1:(!&YX!"X&)[77(! 6XX!! !S)[8(!" /* BTS_PIDs(BTS_ID) := sender */)]]][(! !" )[(! Z6 !Z)][3(! 6^ ! d!S)[8(! waitInit3)]]]]]]]]]]}(! 6 !Z)][3(! 6^ ! d!S)[8(! waitInit3)]]]]]]]]]]}! 6 !rZ)][3(! 6^ ! d!S)[8(! waitInit3)]]]]]]]]]]} call_ind(caller) /* CIF OUTPUT (5332, 381), (547, 81) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)][ ()[cr()[(! l! 22!(d)[L(! l)[O(! 6)[R(! 6d! )]][ U(! 6)][3(! 6^^! d!S)[8(! w]aitInit3)][(!!")[(! 6^! d!S!)[8(! initMS)][1@(!&&X&!"X&&&&)[7=^(! 6X!! !S)[8(! (BTS_ID))]]][(!X!"X)[6(! 6^! d!S)[8(! )][1F(!&_X!"X&)[7C(! 6X!! !S)[8(!" /* BTS_PIDs(BTS_ID) := sender */)]]][(! !" )[(! `6!Z)][3(! 6^! d!S)[8(! waitInit4)]]]]]]]]]]}(! 6!Z)][3(! 6^! d!S)[8(! waitInit4)]]]]]]]]]]}! 6!rZ)][3(! 6^! d!S)[8(! waitInit4)]]]]]]]]]]} call_ind(caller) /* CIF OUTPUT (6677, 403), (547, 81) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)][Y()[c[()[(! l! 22!(d)[X(! l)[[(! 6)[^(! 6d! )]][ a(! 6)][3 (! 6,! d!S)[8(! lcistening)][6(!!")[9(! 6! d!S!)[8(! call_ind)][1d(!X!"&X)[7an(!40!5!7)[!(! DefinitionPage!)[!(! 1!!2!3)[!(! 2!!3)[!(! 3!!3)[!(! 4!!()[w(!GSDL)]}-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[(! l! 22!(d)[h(! l)[k(! 6)[n(! 6d! )]][ t(! 6)][9w(! 6d! !S)[8(! ngewtype BTS_PIDs_t ARRAY( BTS_ID_t, PID); endnewtype; dcl me Mobile_ID_t /* replaces context parameters.*/, IMEI IMEI_t /* replaces context parameters.*/, p PIN_T, status BOOLEAN, BTSreceived, BTS_ID BTS_ID_t, /* BTS_PIDs BTS_PIDs_t, */ fahlse_pin natural, enabled BOOLEAN; /* CIF End Text */ /* CIF TEXT (70, 120), (303, 50) */ /* CIF Keep Specific Geode Font 'fixed' 'fixed' 'fixed'*/ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */ /* Mobiile Station */ /* CIF End Text */ /* CIF CurrentPage 2 */ /* CIF TEXT (98, 1063), (1449, 319) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */ dcl caller, called, correspondant Mobile_ID_t, rand NATURAL, resp NAjTURAL, called_status called_state_t, reason reason_t, bil_report billing_report_t; /* CIF End Text */ /* CIF TEXT (1681, 1018), (854, 370) */ /* CIF Keep Specific Geode Font 'fixed' 'fixed' 'fixed'*/ /* CIF Keep Specific Geode TexktMode 4 */ /* CIF Keep Specific Geode Modified */ /* Nominal scenario: Mobile Mobile A B | | call_req --->| | (dialing) | |---> call_ilnd (ring) | | | |<--- call_resp (off hook) call_conf <---| | | | */ /* CIF End Text */ /* CIF CurrentPage 1 */ /* CIF START (527, 270), (17m0, 50) */ /* CIF Keep Specific Geode Color #000000 */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */ )]]]]}(! 62! !S)[8(!W dcl caller, callee Mobile_ID_t, called_state call(! 6!! !S)[8(! (caller))]]][<(!&!"&)[?(! 6! d!S!)[8(! ring)][Bo(!R!"R)[6E(! 6R! d!S)[8(! )][1p(!X!"X)[7m(! 6R!! p!S)[8(! correspondant := caller)]]][H(!!")[(! 6!Z)][3K(! 6! d!S)[8(! ringing)]q]]]]]]]]]]]}(! )][1p(!X!"X)[7m(! 6!! !S)[8(! correspondant := caller /* CIF NEXTSTATE (844, 579), (160, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][H(!~!"~)[(! 6~!Z)][3K(! 6~! d!S)[8(! rsinging)]]]]]]]]]]]]}--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[(! l! 22!(d)[d(! l)[g(! 6)[j(! 6d! )]][ m(! 6)][3~(! 6,! d!S)[8(! wx13------------------------------------------------14------------------------------------------------2-------------------------------------------------3------------------------------------------------- ~ 15------------------------------------------------18------------------------------------------------4-------------------------------------------------7------------------------------------------------- $Au0R12------------------------------------------------20------------------------------------------------------------------------------------------------------------------------------------------------------ --------t--------v--------aitRandom)][(!^^!"^^)[+(! 6! d!S)[8(! *)]]][(!"^^XX!"X^)[y(! 6! d!S!)[8(! randomNr)][1(!!")[7(! 6!! !S)[8(! (rand))]]][z(!X&X!"XX&)[(! 6! d!S!)[8(! randomNr)][1(!!")[7(! 6{!! !S)[8(! (rand) via ctrlSIM)]]][(!XXR!"XRX)[(! 6XR!Z)][3(! 6R! d!S)[8|(! waitSIMresult)]]]]]]]]]]}eep Specific Geode Modified */)]]][(!XXR!"XRX)[(! 6XR!Z)][3(! 6R! d!S)[8(! waitS!IMresult)]]]]]]]]]]}--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[(! l! 22!(d)[p(! l)[s(! 6)[v(! 6d! )]][ y(! 6)][3(! 6,,! d!S)[8(! waitSIMresult)][(!!")[+(! 6,! d!S)[8(! *)]]][(!"!")[(! 6&! d!S!)[8(! encryptedNr)][1(! !" )[7(! 6 !! !S)[8(! (resp))]]][(!&!"&)[(! 6&! d!S!)[8(! encryptedNr)][1(! !" )[7(! 6 !! !S)[8(!; (resp, BTSreceived) via BTS/* to BTS_PIDs(BTSreceived) */)]]][(!R!"R)[(! 6R!Z)][3(! 6&R! d!S)[8(! waitCallConf)]]]]]]]]]]}Keep Specific Geode Modified */)]]][(! !" )[(! 6 !Z)][3(! 6& P! d!S)[8(! waitCallConf)]]]]]]]]]]}---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------C}()[(! l! 22!(d)[|(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6! d!S)[8(! ringing)][(!,^!"^,)[(! 6^! d!S!)[8(! call_ind)][1(!X!"&X)[7(! 6^!! !S)[8(! (caller))]]][(!&!"&)[(! 6&! d!S!)[8(! call_resp)][1(!XXX!"XXX)[7(! 6&!! !S)[8(!L (called_busy, me, caller, BTSreceived) /* to BTS_PIDs( BTSreceived) */)]]][(!R!"R)[(! 6R!Z)][3(! 6R! d!S)[8(! -)]]]]]]]]]]} */ /* CIF Keep Specific Geode Modified */)]]][(!R!"R)[(! 6R!Z)][3(! 6R! d!S)[8(! -)]]]]]]]]]]}-----------------------------------------------------------------------------------------------------()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6,! d!S)[8(! w16------------------------------------------------17------------------------------------------------2-------------------------------------------------3------------------------------------------------- aitCallConf)][(!!")[(! 6! d!S!)[8(! call_ind)][1(!X!"&X)[7(! 6!! !S)[8(! (caller))]]][ (!&!"&)[#(! 6! d!S!)[8(! call_resp)][1(!X!"X)[7(! 6!! !S)[8(!L (called_busy, me, caller, BTSreceived) /* to BTS_PIDs( BTSreceived) */)]]][&(!!")[(! 6!Z)][3)(! 6! d!S)[8(! -)]]]]]]]]]]} */ /* CIF Keep Specific Geode Modified */)]]][&(!!")[(! 6!Z)][3)(! 6! d!S)[8(! -)]]]]]]]]]]}------------------------------------------------------------------------------------------------()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3>(! 6^! d!S)[8(! conversation)][S(!^!"^)[V(! 6^! d!S!)[8(! call_ind)][1 (!&X!"X&)[7 (! 6X!! !S)[8(! (caller))]]][Y(!X!"X)[\(! 6^X! d!S!)[8(! call_resp)][1(!&X!"X&)[7(! 6XX!! !S)[8(!K (called_busy, me, caller, BTSreceived) /* to BTS_PIDs( BTSreceived) */)]]][_(!!")[(! 6!Z)][3b(! 6^! d!S)[8(! -)]]]]]]]]]]} */ /* CIF Keep Specific Geode Modified */)]]][_(!!")[(! 6!Z)][3b(! 6^! d!S)[8(! -)]]]]]]]]]]}-------------------------------------------------------------------------------------------------()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3i(! 6! d!S)[8(! powerOff)][(!X,X!"XX,)[(! 6! d!S!)[8(! onKey)][(!XX!"XX)[ (! 6! d!S)[8(! enabled)][(!"XX,,R!",RX)[8(! 6! (false))][(! 6R! d!S!)[8(! disable)][(!,,L!",L,)[(! 6,L!Z)][3(! 6L! d!S)[8(! disabled)]]]]][(!XXR!"XRX)[8(! 6q! (true))][6(! 6R! d!S)[8(! )][1t(!R!"R)[7q(! 6RR!! !S)[8(! false_pin :=0)]]][(!XXL!"XLX)[(! 6XL!Z)][3(! 6L! d!S)[8(! askPIN)]]]]]]]]]]]]}(! 6!Z)][3(! 6,! d!S)[8(! disabled)]]]]]]]]]]]]}L!Z)][3(! 6L! d!S)[8(! askPIN)]]]]][(!"XX!"X)[8(! 6! (false /* CIF OUTPUT (1486, 696), (200, 120) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */))][(! 6,! d!S!)[8(! disable)][1n(!F&F!"&FF)[7k(! 6&!! !S)[8(! /* CIF NEXTSTATE (1470, 846), ( 233, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!x!"x)[(! 6!Z)][3(! 6,!  d!S)[8(! disabled)]]]]]]]]]]]]}---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------=()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6^,! d!S)[8(! d19------------------------------------------------2-------------------------------------------------20------------------------------------------------3------------------------------------------------- isabled)][L(!!")[O(! 6^! d!S!)[8(! offKey)][R(!&!"&)[(! 6!Z)][3U(! 6^! d!S)[8(! powerOff)]]]]]]]]} /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][R(!&!"v&)[(! 6!Z)][3U(! 6^! d!S)[8(! powerOff)]]]]]]]]}------------------------------------------------------------------------------------------------------------()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6^,! d!S)[8(! askPIN)][(!!")[(! 6^! d!S!)[8(! PIN)][1(!&X!"X&)[7(! 6X!! !S)[8(! (p))]]][(!&!"&)[(! 6^! d!S!)[8(! checkPIN)][1(!&X!"X&)[7(! 6X!! !S)[8(! (p))]]][(! !" )[(! 6 !Z)][3(! 6^ ! d!S)[8(! waitCheckPIN)]]]]]]]]]]}F Keep Specific Geode Modified */)]]][(! !" )[(! 6 !Z)][3`(! 6^ ! d!S)[8(! waitCheckPIN)]]]]]]]]]]}---------------------------------------------------------------------------------------------------------------------------------------------------------------------------U()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6^! d!S)[8(! listening)][Z(!!")[](! 6! d!S!)[8(! askReport)][`(!X!"X)[c(! 6! d!S!)[8(! getReport)][1(!X!"X)[7(! 6!! !S)[8(!2 (me, BTSreceived) /* to BTS_PIDs(BTSreceived) */)]]][f(! !" )[(! 6!Z)][3i(! 6! d!S)[8(! -)]]]]]]]]]]}!S)[8(! (me, BTSreceived) /* to BTS_PIDs(BTSreceived) */ /* CIF NEXTSTATE (1510, 450), (143, 74) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][f(!!")[(! 6!Z)][3i(! 6! d!S)[8(! -)]]]]]]]]]]}---------------------------------------------------------------------------------------------------------------------------------()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6! d!S)[8(! r21------------------------------------------------22------------------------------------------------23------------------------------------------------3------------------------------------------------- 23------------------------------------------------26------------------------------------------------4-------------------------------------------------7------------------------------------------------- $A0Ringing)][(!&&&!"&&&)[(! 6&! d!S!)[8(! answer_call)][(!&&R!"&R&)[(! 6R! d!S!)[8(! call_resp)][1(!!")[7(! 6R!! !S)[8(!J (called_ok, me, caller, BTSreceived) /* to BTS_PIDs( BTSreceived) */)]]][(!&&!"&&)[(! 6! d!S!)[8(! convers)][(!&F&!"&&F)[(! 6&!Z)][3(! 6! d!S)[8(! conversation)]]]]]]]]]]]]}ecific Geode Modified */)]]][(!&&!"&&)[(! 6! d!S!)[8(! convers)][1(!!")[7(! 6!! !S)[8(! /* CIF NEXTSTATE (3788, 569), ( 200, 96) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!&F&!"&&F)[(! 6&!Z)][3(! 6! d!S)[8(! conversation)]]]]]]]]]]]]}--------------------------------------------------------------------------------------------------------------------------------------------------------------b()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6d^! d!S)[8(! waitCallConf)][(!!")[(! 6d! d!S!)[8(! call_conf)][1(!,&^&!"^&&,&)[7(! 6^!! !S)[8(! (called_status))]]][(!X!"X)[ (! 6d! d!S)[8(! called_status)][(! !" )[8(! 6 ! (called_ok))][(! 6d! d!S!)[8(! convers)][(!!")[(! 6d! d!S!)[8(! com_start)][1(!,^!"^,)[7(! 6^!! !S)[8(!2 (me, BTSreceived) /* to BTS_PIDs(BTSreceived) */)]]][(!F!"F)[(! 6!Z)][3(! 6d! d!S)[8(! conversation)]]]]]]][(!,L!"L,)[8(! 6! (called_unreachable))][(! 6L!Z)][<(! 6LL! d!S)[8(! waitCallConf_2)]]][(!,@@L!"@L,)[8(! 6Y! (called_busy))][(! 6@L!Z)][3(! 6L! d!S)[8(! waitCallConf_1)]]]]]]]]]]})[(! 6!Z)][3(! 6d! d!S)[8(! conversation)]]]]]]][(!,!",))[8(! 6! (called_busy /* CIF OUTPUT (4997, 654), (200, 88) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */))][(! 6!Z)][3(! 6~! d!S)[8(! waitCallConf_1)]]][(!,!",)[8(! 63-! (called_unreachable /* CIF OUTPUT (5258, 651), (200, 91) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */))][(! 6!Z)][<(! 6! d!S)[8(! waitCallConf_2)]]]]]]]]]]}-----------------------------------------------------------------------------()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3,(! 6,^! d!S)[8(! conversation)][A(!!")[D(! 6,! d!S!)[8(! on_hook)][G(!X !" X)[J(! 6, ! d!S!)[8(! com_finish)][1(!R&R!"&RR)[7(! 6& !! !S)[8(!E (me, correspondant, BTSreceived) /* to BTS_PIDs( BTSreceived) */)]]][M(!L!"L)[(! 6L!Z)][3P(! 6,L! d!S)[8(! listening)]]]]]]]]]]} (me, correspondant, BTSreceived) /* to BTS_PIDs( BTSreceived) */ /* CIF NEXTSTATE (6351, 512), (160, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][M(!L!"L)[(! 6L!Z)][3P(! 6,L! d!S)[8(! listening)]]]]]]]]]]}----------------------------------------------------------------------------------------------------()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3\(! 6,! d!S)[8(! a24------------------------------------------------25------------------------------------------------26------------------------------------------------3------------------------------------------------- skPIN)][(!&!"&)[(! 6,&! d!S!)[8(! call_ind)][1((!X&X!"&XXX)[7%(! 6&&!! !S)[8(! (caller))]]][(!!")[(! 6,! d!S!)[8(! call_resp)][1.(! & !"&  )[7+(! 6&!! !S)[8(!S (called_unreachable, me, caller, BTSreceived) /* to BTS_PIDs( BTSreceived) */)]]][(!R!"R)[(! 6!Z)][3(! 6,! d!S)[8(! -)]]]]]]]]]]} 4 */ /* CIF Keep Specific Geode Modified */)]]][(!R!"R)[(! 6!Z)][3(! 6,! d!S)[8(! -)]]]]]]]]]]}---------------------------------------------------------------------------------------------()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3k(! 6! d!S)[8(! listening)][ (!,!",)[(! 6,! d!S!)[8(! dialing)][1L(!X^^!"^&^X^)[7I(! 6,!! !S)[8(! (called))]]][(!!")[ (! 6! d!S)[8(! called = me)][$(!"Xq~q~ !"~ X)[8(! 6?! (FALSE))]['(! 6 ! d!S!)[8(! call_req)][1X(!RR!"RR)[7U(! 6 !! !S)[8(!> (me, called, BTSreceived) /* to BTS_PIDs( BTSreceived) */)]]][*(!~~~!"~~~)[6-(! 6~! d!S)[8(! )][1^(!!")[7[(! 6~!! !S)[8(! correspondant := called)]]][0(!~~F!"~F~)[(! 6~F!Z)][33(! 6F! d!S)[8(! waitRandom)]]]]]]][(!"XqqL!"LX)[8(! 6?! (TRUE))][(! 6L! d!S!)[8(! rejected)][(!F!"F)[(! 6F!Z)][3!(! 6F! d!S)[8(! -)]]]]]]]]]]]]}(! 6:!Z)][3!(! 6:! d!S)[8(! -)]]]]]]]]]]]]}/ /* CIF Keep Specific Geode TexteMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!:!":)[(! 6:!Z)][3!(! 6:! d!S)[8(! -)]]]]]]]]]]]]}fic Geode Modified */))][(! 6@! d!S!)[8(! rejected)][1R(!^rr!"r^r)[7O(! 6@!! !S)[8(! /* CIF NEXTSTATE (125, 616), ( 154, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!:!":)[(! 6:!Z)][3!(! 6:! d!S)[8(! -)]]]]]]]]]]]]}--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------P()[(! l! 22!(d)[ (! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6^^! d!S)[8(! waitCallConf)][,(!!")[/(! 6^! d!S!)[8(! call_reject)][1(!&&X&!"X&&&&)[7(! 6X!! !S)[8(! (reason))]]][2(!X!"X)[5(! 6^! d!S!)[8(! rejected)][8(! !" )[(! 6!Z)][3;(! 6^! d!S)[8(! listening)]]]]]]]]]]}(! 6X!! !S)[8(! /* CIF NEXTSTATE (5962, 487), ( 192, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][8(! !" )[(! 6!Z)][3;(! 6^! d!S)[8(! listening)]]]]]]]]]]}-------------------------------------------------------------------------------------------------------------------------------------------------------------c()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ !(! 6)][3(! 6,^! d!S)[8(! l27------------------------------------------------28------------------------------------------------3---------------------------------------------------------------------------------------------------- ------------istening)][l(!!")[o(! 6,! d!S!)[8(! giveReport)][1(!&&&!"&&&&)[7(! 6&!! !S)[8(! (bil_report))]]][r(!X!"X)[u(! 6,! d!S!)[8(! giveReport)][1(!&!"&)[7(! 6&!! !S)[8(! (bil_report) via KBD)]]][x(! R!"R )[(! 6R!Z)][3{(! 6,R! d!S)[8(! -)]]]]]]]]]]} */ /* CIF Keep Specific Geode Modified */)]]][x(! R!"R )[({! 6R!Z)][3{(! 6,R! d!S)[8(! -)]]]]]]]]]]}--------------------------------------------------------------------------------------------------------------------------------------------------n()[(! l! 22!(d)[$(! l)['(! 6)[*(! 6d! )]][ -(! 6)][3(! 62! d!S)[8(! listening)][N(!XX!"XX)[Q(! 6! d!S!)[8(! offKey)][T(!X,X!"XX,)[(! 6X!Z)][3W(! 6! d!S)[8(! powerOff)]]]]]][(! 62X! d!S)[8(! waitInit1_1)][(!!")[6(! 62! d!S)[8(! )][1 (! , !",  )[7(! 6,!! !S)[8(! p := pin_b)]]][(!R!"R)[(! 6!Z)][H(! 62! d!S)[8(! waitInit1_4)]]]]]][(! 6XX! d!S)[8(! waitInit1_2)][$(!!")[6(! 6X! d!S)[8(! )][1(!  R !"R   )[7 (! 6R!! !S)[8(! p := pin_c)]]][(!R!"R)[(! 6!Z)][K(! 6X! d!S)[8(! waitInit1_4)]]]]]]['(! 6X! d!S)[8(! waitInit1_3)][-(!!")[6(! 6! d!S)[8(!  p := pin_d)][(!R!"R)[(! 6!Z)][N(! 6! d!S)[8(! waitInit1_4)]]]]]][0(! 62! d!S)[8(! waitCallConf_1)][6(!F!"F)[(! 62F! d!S!)[8(! busy)][(!@!"@)[(! 6@!Z)][3 (! 62@! d!S)[8(! listening)]]]]]][9(! 6! d!S)[8(! waitCallConf_2)][?(!F!"F)[(! 6F! d!S!)[8(! unreachable)][(!@!"@)[(! 6@!Z)][3(! 6@! d!S)[8(! listening)]]]]]]]]}S)[8(! /* CIF NEXTSTATE (4997, 772), ( 200, 120) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][`(!F!"F)[(! 6!Z)][3 (! 6,! d!S)[8(! listening)]]]]]][9(! 62r! d!S)[8(! waitCallConf_2)][?(!!")[(! 62! d!S!)[8(! unreachable)][1(!:,:!",::)[7(! 6,!! !S)[8(! /* CIF NEXTSTATE (5258, 772), ( 200, 120) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!l!"l)[(! 6!Z)][3(! 62! d!S)[8(! listening)]]]]]]]]}-----------------------------------------------------------------------------------------M3)[!(! 5!!3)[!(! 6!!3)[!(! 7!!3)[! (! 8!!3)[! (! 9!!3)[! (! 10!!3)[! (! 11!!3)[! (! 12!!3)[!(! 13!!3)[!(! 14!!3)[!(! 15!!3)[!(! 16!!3)[!(! 17!!3)[!(! 18!!3)[!(! 19!!3)[!(! 20!!3)[!(! 21!!3)[!(! 22!!3)[!(! 23!!3)[!(! 24!!3)[!(! 25!!3)[!(! 26!!3)[!(! 27!!3)[!(! 28!!3)]]]]]]]]]]]]]]]]]]]]]]]]]]]]]}------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------@]]]]]]]}--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ed_state_t, BTS_ID BTS_ID_t;)]]]]}----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------$