#include <std/straights.h>

extern "C" {
  void * __dynamic_cast(void *a,void *b,void *c,void *d) {
    return(0x0);
    }
  void * __rtti_user(void *a,void *b) {
    return(0x0);
    }
  void * __rtti_class(void *a,void *b,void *c,void *d) {
    return(0x0);
    }
  void * __rtti_si(void *a,void *b,void *c) {
    return(0x0);
    }
  void __eprintf(void *a,void *b,void *c,void *d) {
    return;
    }
} 


typedef char c;

template class string_char_traits <c>;

ostream& endl(ostream& outs) {
  return flush(outs.put('\n'));
  }

ostream& ostream::flush()
{
//    if (_strbuf->sync())
  //      set(ios::badbit);
    return *this;
}



ostream& flush(ostream& outs)
{
  return outs.flush();
}