#line 74 "/home/travis/build/felix-lang/felix/src/packages/debug.fdoc"
#include "flx_rtl_config.hpp"
#include <string>

namespace flx { namespace debug {
  RTL_EXTERN void enable_local_udp_trace();
  RTL_EXTERN void send_udp_trace_message (::std::string);
}}