#line 80 "lpsrc/flx_lib.ipk"
#ifndef FLX_IOUTIL
#define FLX_IOUTIL
#include <string>
#include <cstdio>
#include "flx_rtl_config.hpp"

namespace flx { namespace rtl { namespace ioutil {
  FLX_RTL_EXTERN std::string load_file (std::FILE *);
  FLX_RTL_EXTERN std::string load_file (std::string);
  FLX_RTL_EXTERN std::string readln(std::FILE*);
  FLX_RTL_EXTERN void write (std::FILE *, std::string);
  FLX_RTL_EXTERN void writeln (std::FILE *, std::string);
}}}
#endif