//#line 1354 "lpsrc/flx_rtl.ipk"
#include <cstdlib>
#include <stdio.h>
#include <vector>
#include <list>
#include <map>
#include <cstring>
#include <cassert>

#include <string>
//#include <unistd.h>
//#include "flx_rtl.hpp"

#include "flx_dynlink.hpp"
using namespace std;
using namespace flx::rtl;

int main(int argc, char** argv)
{
  if (argc<2)
  {
    printf("usage: flx_run [--debug] dll_filename options ..\n");
    return 1;
  }
  flx_dynlink_t library;
  return 0;
}