123#line 20 "featureselect.c"
124void select_helpers(void)
125{
126
127 {
128#line 133 "featureselect.c"
129 return;
130}
131}
132#line 25 "featureselect.c"
133int valid_product(void)
134{ int retValue_acc ;
135
136 {
137#line 151 "featureselect.c"
138 retValue_acc = 1;
139#line 153
140 return (retValue_acc);
141#line 160
142 return (retValue_acc);
143}
144}
145#line 1 "wsllib_check.o"
146#pragma merger(0,"wsllib_check.i","")
147#line 3 "wsllib_check.c"
148void __automaton_fail(void)
149{
150
151 {
152 goto ERROR;
153 ERROR: ;
154#line 53 "wsllib_check.c"
155 return;
156}
157}
158#line 1 "DecryptForward_spec.o"
159#pragma merger(0,"DecryptForward_spec.i","")
160#line 9 "Email.h"
161int isReadable(int msg ) ;
162#line 688 "/usr/include/stdio.h"
163extern int puts(char const *__s ) ;