3970#line 2609 "Elevator.c"
3971 retValue_acc = isFloorCalling(executiveFloor);
3972 }
3973#line 2611
3974 return (retValue_acc);
3975#line 2618
3976 return (retValue_acc);
3977}
3978}
3979#line 443 "Elevator.c"
3980int isExecutiveFloor(int floorID )
3981{ int retValue_acc ;
3982
3983 {
3984#line 2640 "Elevator.c"
3985 retValue_acc = executiveFloor == floorID;
3986#line 2642
3987 return (retValue_acc);
3988#line 2649
3989 return (retValue_acc);
3990}
3991}
3992#line 1 "wsllib_check.o"
3993#pragma merger(0,"wsllib_check.i","")
3994#line 3 "wsllib_check.c"
3995void __automaton_fail(void)
3996{
3997
3998 {
3999 goto ERROR;
4000 ERROR: ;
4001#line 53 "wsllib_check.c"
4002 return;
4003}
4004}
4005#line 1 "Floor.o"
4006#pragma merger(0,"Floor.i","")
4007#line 16 "Floor.h"
4008void callOnFloor(int floorID ) ;
4009#line 9 "Floor.c"
4010int calls_0 ;