ClabureDB: Classified Bug-Reports Database

          } else {
#line 1201
            if (person == 5) {
#line 1206
              retValue_acc = 3;
#line 1208
              return (retValue_acc);
            } else {
#line 1214 "Person.c"
              retValue_acc = 0;
#line 1216
              return (retValue_acc);
            }
          }
        }
      }
    }
  }
#line 1223 "Person.c"
  return (retValue_acc);
}
}
#line 1 "wsllib_check.o"
#pragma merger(0,"wsllib_check.i","")
#line 3 "wsllib_check.c"
void __automaton_fail(void) 
{ 

  {
  goto ERROR;
  ERROR: ;
#line 53 "wsllib_check.c"
  return;
}
}
#line 1 "Elevator.o"
#pragma merger(0,"Elevator.i","")
#line 359 "/usr/include/stdio.h"
extern int printf(char const   * __restrict  __format  , ...) ;
#line 16 "Person.h"
void enterElevator(int p ) ;