85#line 15
86 mail_is_sensitive = isEncrypted(msg);
87 }
88 } else {
89 {
90#line 16
91 tmp = isEncrypted(msg);
92 }
93#line 16
94 if (mail_is_sensitive != tmp) {
95 {
96#line 17
97 __automaton_fail();
98 }
99 } else {
100
101 }
102 }
103#line 17
104 return;
105}
106}
107#line 1 "wsllib_check.o"
108#pragma merger(0,"wsllib_check.i","")
109#line 3 "wsllib_check.c"
110void __automaton_fail(void)
111{
112
113 {
114 goto ERROR;
115 ERROR: ;
116#line 53 "wsllib_check.c"
117 return;
118}
119}
120#line 1 "Util.o"
121#pragma merger(0,"Util.i","")
122#line 359 "/usr/include/stdio.h"
123extern int printf(char const * __restrict __format , ...) ;
124#line 1 "Util.h"
125int prompt(char *msg ) ;