565#line 23
566 if (in_encrypted) {
567 {
568#line 23
569 tmp = isEncrypted(msg);
570 }
571#line 23
572 if (tmp) {
573
574 } else {
575 {
576#line 24
577 __automaton_fail();
578 }
579 }
580 } else {
581
582 }
583#line 24
584 return;
585}
586}
587#line 1 "wsllib_check.o"
588#pragma merger(0,"wsllib_check.i","")
589#line 3 "wsllib_check.c"
590void __automaton_fail(void)
591{
592
593 {
594 goto ERROR;
595 ERROR: ;
596#line 53 "wsllib_check.c"
597 return;
598}
599}
600#line 1 "Client.o"
601#pragma merger(0,"Client.i","")
602#line 4 "ClientLib.h"
603int initClient(void) ;
604#line 14
605int getClientAddressBookSize(int handle ) ;