destination d_stdout { pipe("/dev/stdout"); }; log { source(s_src); destination(d_stdout); };