2412 if (handle == 1) {
2413#line 674
2414 __ste_client_idCounter0 = value;
2415 } else {
2416#line 675
2417 if (handle == 2) {
2418#line 676
2419 __ste_client_idCounter1 = value;
2420 } else {
2421#line 677
2422 if (handle == 3) {
2423#line 678
2424 __ste_client_idCounter2 = value;
2425 } else {
2426
2427 }
2428 }
2429 }
2430#line 2682 "ClientLib.c"
2431 return;
2432}
2433}
2434#line 1 "wsllib_check.o"
2435#pragma merger(0,"wsllib_check.i","")
2436#line 3 "wsllib_check.c"
2437void __automaton_fail(void)
2438{
2439
2440 {
2441 goto ERROR;
2442 ERROR: ;
2443#line 53 "wsllib_check.c"
2444 return;
2445}
2446}
2447#line 1 "libacc.o"
2448#pragma merger(0,"libacc.i","")
2449#line 73 "/usr/include/assert.h"
2450extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
2451 char const *__file ,
2452 unsigned int __line ,