958#line 20 "featureselect.c"
959void select_helpers(void)
960{
961
962 {
963#line 111 "featureselect.c"
964 return;
965}
966}
967#line 25 "featureselect.c"
968int valid_product(void)
969{ int retValue_acc ;
970
971 {
972#line 129 "featureselect.c"
973 retValue_acc = 1;
974#line 131
975 return (retValue_acc);
976#line 138
977 return (retValue_acc);
978}
979}
980#line 1 "wsllib_check.o"
981#pragma merger(0,"wsllib_check.i","")
982#line 3 "wsllib_check.c"
983void __automaton_fail(void)
984{
985
986 {
987 goto ERROR;
988 ERROR: ;
989#line 53 "wsllib_check.c"
990 return;
991}
992}
993#line 1 "scenario.o"
994#pragma merger(0,"scenario.i","")
995#line 11 "scenario.c"
996void startSystem(void) ;
997#line 1 "scenario.c"
998void test(void)