1631#line 20 "featureselect.c"
1632void select_helpers(void)
1633{
1634
1635 {
1636#line 112 "featureselect.c"
1637 return;
1638}
1639}
1640#line 25 "featureselect.c"
1641int valid_product(void)
1642{ int retValue_acc ;
1643
1644 {
1645#line 130 "featureselect.c"
1646 retValue_acc = 1;
1647#line 132
1648 return (retValue_acc);
1649#line 139
1650 return (retValue_acc);
1651}
1652}
1653#line 1 "wsllib_check.o"
1654#pragma merger(0,"wsllib_check.i","")
1655#line 3 "wsllib_check.c"
1656void __automaton_fail(void)
1657{
1658
1659 {
1660 goto ERROR;
1661 ERROR: ;
1662#line 53 "wsllib_check.c"
1663 return;
1664}
1665}
1666#line 1 "Test.o"
1667#pragma merger(0,"Test.i","")
1668#line 544 "/usr/include/stdlib.h"
1669extern __attribute__((__nothrow__, __noreturn__)) void exit(int __status ) ;
1670#line 13 "Test.c"
1671int cleanupTimeShifts = 12;