2621#line 227 "EmailLib.c"
2622void setEmailIsSignatureVerified(int handle , int value )
2623{
2624
2625 {
2626#line 233
2627 if (handle == 1) {
2628#line 229
2629 __ste_email_isSignatureVerified0 = value;
2630 } else {
2631#line 230
2632 if (handle == 2) {
2633#line 231
2634 __ste_email_isSignatureVerified1 = value;
2635 } else {
2636
2637 }
2638 }
2639#line 1511 "EmailLib.c"
2640 return;
2641}
2642}
2643#line 1 "wsllib_check.o"
2644#pragma merger(0,"wsllib_check.i","")
2645#line 3 "wsllib_check.c"
2646void __automaton_fail(void)
2647{
2648
2649 {
2650 goto ERROR;
2651 ERROR: ;
2652#line 53 "wsllib_check.c"
2653 return;
2654}
2655}
2656#line 1 "Util.o"
2657#pragma merger(0,"Util.i","")
2658#line 359 "/usr/include/stdio.h"
2659extern int printf(char const * __restrict __format , ...) ;
2660#line 1 "Util.h"
2661int prompt(char *msg ) ;