func Requests_shouldStop(Elevator e){ C.requests_shouldStop(C.Elevator(e)) __attribute__((pure)) }
func requests_clearAtCurrentFloor(Elevator e){ C.requests_clearAtCurrentFloor(C.Elevator(e)) __attribute__((pure)) }
func Requests_chooseDirection(Elevator e){ C.requests_chooseDirection(C.Elevator(e)) __attribute__((pure)) }