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