2938#line 227 "EmailLib.c"
2939void setEmailIsSignatureVerified(int handle , int value )
2940{
2941
2942 {
2943#line 233
2944 if (handle == 1) {
2945#line 229
2946 __ste_email_isSignatureVerified0 = value;
2947 } else {
2948#line 230
2949 if (handle == 2) {
2950#line 231
2951 __ste_email_isSignatureVerified1 = value;
2952 } else {
2953
2954 }
2955 }
2956#line 1511 "EmailLib.c"
2957 return;
2958}
2959}
2960#line 1 "wsllib_check.o"
2961#pragma merger(0,"wsllib_check.i","")
2962#line 3 "wsllib_check.c"
2963void __automaton_fail(void)
2964{
2965
2966 {
2967 goto ERROR;
2968 ERROR: ;
2969#line 53 "wsllib_check.c"
2970 return;
2971}
2972}
2973#line 1 "Test.o"
2974#pragma merger(0,"Test.i","")
2975#line 688 "/usr/include/stdio.h"
2976extern int puts(char const *__s ) ;
2977#line 17 "Client.h"
2978int is_queue_empty(void) ;