2059#line 20 "featureselect.c"
2060void select_helpers(void)
2061{
2062
2063 {
2064#line 112 "featureselect.c"
2065 return;
2066}
2067}
2068#line 25 "featureselect.c"
2069int valid_product(void)
2070{ int retValue_acc ;
2071
2072 {
2073#line 130 "featureselect.c"
2074 retValue_acc = 1;
2075#line 132
2076 return (retValue_acc);
2077#line 139
2078 return (retValue_acc);
2079}
2080}
2081#line 1 "wsllib_check.o"
2082#pragma merger(0,"wsllib_check.i","")
2083#line 3 "wsllib_check.c"
2084void __automaton_fail(void)
2085{
2086
2087 {
2088 goto ERROR;
2089 ERROR: ;
2090#line 53 "wsllib_check.c"
2091 return;
2092}
2093}
2094#line 1 "Elevator.o"
2095#pragma merger(0,"Elevator.i","")
2096#line 359 "/usr/include/stdio.h"
2097extern int printf(char const * __restrict __format , ...) ;
2098#line 14 "Person.h"
2099int getDestination(int person ) ;