2236int prompt(char *msg ) ;
2237#line 9 "Util.c"
2238int prompt(char *msg )
2239{ int retValue_acc ;
2240 int retval ;
2241 char const * __restrict __cil_tmp4 ;
2242
2243 {
2244 {
2245#line 10
2246 __cil_tmp4 = (char const * __restrict )"%s\n";
2247#line 10
2248 printf(__cil_tmp4, msg);
2249#line 518 "Util.c"
2250 retValue_acc = retval;
2251 }
2252#line 520
2253 return (retValue_acc);
2254#line 527
2255 return (retValue_acc);
2256}
2257}
2258#line 1 "wsllib_check.o"
2259#pragma merger(0,"wsllib_check.i","")
2260#line 3 "wsllib_check.c"
2261void __automaton_fail(void)
2262{
2263
2264 {
2265 goto ERROR;
2266 ERROR: ;
2267#line 53 "wsllib_check.c"
2268 return;
2269}
2270}
2271#line 1 "Email.o"
2272#pragma merger(0,"Email.i","")
2273#line 8 "featureselect.h"
2274int __SELECTED_FEATURE_Base ;
2275#line 11 "featureselect.h"
2276int __SELECTED_FEATURE_Keys ;