2308#line 227 "EmailLib.c"
2309void setEmailIsSignatureVerified(int handle , int value )
2310{
2311
2312 {
2313#line 233
2314 if (handle == 1) {
2315#line 229
2316 __ste_email_isSignatureVerified0 = value;
2317 } else {
2318#line 230
2319 if (handle == 2) {
2320#line 231
2321 __ste_email_isSignatureVerified1 = value;
2322 } else {
2323
2324 }
2325 }
2326#line 1511 "EmailLib.c"
2327 return;
2328}
2329}
2330#line 1 "wsllib_check.o"
2331#pragma merger(0,"wsllib_check.i","")
2332#line 3 "wsllib_check.c"
2333void __automaton_fail(void)
2334{
2335
2336 {
2337 goto ERROR;
2338 ERROR: ;
2339#line 53 "wsllib_check.c"
2340 return;
2341}
2342}
2343#line 1 "Email.o"
2344#pragma merger(0,"Email.i","")
2345#line 359 "/usr/include/stdio.h"
2346extern int printf(char const * __restrict __format , ...) ;
2347#line 8 "featureselect.h"
2348int __SELECTED_FEATURE_Base ;