ClabureDB: Classified Bug-Reports Database

#line 423
          i___0 = i___0 + 1;
        }
        while_5_break: /* CIL Label */ ;
        }
#line 423
        i___0 = i___0 - 1;
      }
      while_4_break: /* CIL Label */ ;
      }
    } else {

    }
  }
#line 2497 "Elevator.c"
  retValue_acc = 0;
#line 2499
  return (retValue_acc);
#line 2506
  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 "Floor.o"
#pragma merger(0,"Floor.i","")
#line 16 "Floor.h"
void callOnFloor(int floorID ) ;
#line 20
void initPersonOnFloor(int person , int floor ) ;