1842 }
1843 }
1844#line 903 "libacc.c"
1845 __cil_tmp7 = i - 1;
1846#line 903
1847 __cil_tmp8 = (unsigned long )this;
1848#line 903
1849 __cil_tmp9 = __cil_tmp8 + 24;
1850#line 903
1851 mem_13 = (char const ***)__cil_tmp9;
1852#line 903
1853 __cil_tmp10 = *mem_13;
1854#line 903
1855 __cil_tmp11 = __cil_tmp10 + __cil_tmp7;
1856#line 903
1857 retValue_acc = *__cil_tmp11;
1858#line 905
1859 return (retValue_acc);
1860#line 912
1861 return (retValue_acc);
1862}
1863}
1864#line 1 "wsllib_check.o"
1865#pragma merger(0,"wsllib_check.i","")
1866#line 3 "wsllib_check.c"
1867void __automaton_fail(void)
1868{
1869
1870 {
1871 goto ERROR;
1872 ERROR: ;
1873#line 53 "wsllib_check.c"
1874 return;
1875}
1876}
1877#line 1 "Test.o"
1878#pragma merger(0,"Test.i","")
1879#line 35 "ClientLib.h"
1880void setClientPrivateKey(int handle , int value ) ;
1881#line 39
1882int createClientKeyringEntry(int handle ) ;