1895 {
1896 {
1897#line 205
1898 setClientAutoResponse(rjh, 1);
1899 }
1900#line 1825 "Test.c"
1901 return;
1902}
1903}
1904#line 211 "Test.c"
1905void rjhEnableForwarding(void)
1906{
1907
1908 {
1909 {
1910#line 212
1911 setClientForwardReceiver(rjh, chuck);
1912 }
1913#line 1845 "Test.c"
1914 return;
1915}
1916}
1917#line 1 "wsllib_check.o"
1918#pragma merger(0,"wsllib_check.i","")
1919#line 3 "wsllib_check.c"
1920void __automaton_fail(void)
1921{
1922
1923 {
1924 goto ERROR;
1925 ERROR: ;
1926#line 53 "wsllib_check.c"
1927 return;
1928}
1929}
1930#line 1 "libacc.o"
1931#pragma merger(0,"libacc.i","")
1932#line 73 "/usr/include/assert.h"
1933extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
1934 char const *__file ,
1935 unsigned int __line ,