644#line 227 "EmailLib.c"
645void setEmailIsSignatureVerified(int handle , int value )
646{
647
648 {
649#line 233
650 if (handle == 1) {
651#line 229
652 __ste_email_isSignatureVerified0 = value;
653 } else {
654#line 230
655 if (handle == 2) {
656#line 231
657 __ste_email_isSignatureVerified1 = value;
658 } else {
659
660 }
661 }
662#line 1511 "EmailLib.c"
663 return;
664}
665}
666#line 1 "wsllib_check.o"
667#pragma merger(0,"wsllib_check.i","")
668#line 3 "wsllib_check.c"
669void __automaton_fail(void)
670{
671
672 {
673 goto ERROR;
674 ERROR: ;
675#line 53 "wsllib_check.c"
676 return;
677}
678}
679#line 1 "Test.o"
680#pragma merger(0,"Test.i","")
681#line 359 "/usr/include/stdio.h"
682extern int printf(char const * __restrict __format , ...) ;
683#line 688
684extern int puts(char const *__s ) ;