1787 if (handle == 1) {
1788#line 674
1789 __ste_client_idCounter0 = value;
1790 } else {
1791#line 675
1792 if (handle == 2) {
1793#line 676
1794 __ste_client_idCounter1 = value;
1795 } else {
1796#line 677
1797 if (handle == 3) {
1798#line 678
1799 __ste_client_idCounter2 = value;
1800 } else {
1801
1802 }
1803 }
1804 }
1805#line 2682 "ClientLib.c"
1806 return;
1807}
1808}
1809#line 1 "wsllib_check.o"
1810#pragma merger(0,"wsllib_check.i","")
1811#line 3 "wsllib_check.c"
1812void __automaton_fail(void)
1813{
1814
1815 {
1816 goto ERROR;
1817 ERROR: ;
1818#line 53 "wsllib_check.c"
1819 return;
1820}
1821}
1822#line 1 "EncryptAutoResponder_spec.o"
1823#pragma merger(0,"EncryptAutoResponder_spec.i","")
1824#line 26 "EmailLib.h"
1825int isEncrypted(int handle ) ;
1826#line 688 "/usr/include/stdio.h"
1827extern int puts(char const *__s ) ;