4840#line 2695 "Elevator.c"
4841 retValue_acc = isFloorCalling(executiveFloor);
4842 }
4843#line 2697
4844 return (retValue_acc);
4845#line 2704
4846 return (retValue_acc);
4847}
4848}
4849#line 468 "Elevator.c"
4850int isExecutiveFloor(int floorID )
4851{ int retValue_acc ;
4852
4853 {
4854#line 2726 "Elevator.c"
4855 retValue_acc = executiveFloor == floorID;
4856#line 2728
4857 return (retValue_acc);
4858#line 2735
4859 return (retValue_acc);
4860}
4861}
4862#line 1 "wsllib_check.o"
4863#pragma merger(0,"wsllib_check.i","")
4864#line 3 "wsllib_check.c"
4865void __automaton_fail(void)
4866{
4867
4868 {
4869 goto ERROR;
4870 ERROR: ;
4871#line 53 "wsllib_check.c"
4872 return;
4873}
4874}
4875#line 1 "Specification14_spec.o"
4876#pragma merger(0,"Specification14_spec.i","")
4877#line 11 "Specification14_spec.c"
4878void __utac_acc__Specification14_spec__1(void)
4879{ int tmp ;
4880 int tmp___0 ;