ClabureDB: Classified Bug-Reports Database

  }
  {
#line 265
  resetCallOnFloor(floor);
  }
#line 1703 "Floor.c"
  return;
}
}
#line 268 "Floor.c"
int isTopFloor(int floorID ) 
{ int retValue_acc ;

  {
#line 1721 "Floor.c"
  retValue_acc = floorID == 4;
#line 1723
  return (retValue_acc);
#line 1730
  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 "Person.o"
#pragma merger(0,"Person.i","")
#line 20 "Person.c"
int getWeight(int person ) 
{ int retValue_acc ;