#ifndef __LIBCPP_H
#define __LIBCPP_H

void * operator new(unsigned size);
void   operator delete(void * ptr);
void * operator new[](unsigned size);
void   operator delete[](void * ptr);

template <bool threads, int inst>
class __default_alloc_template {
  };

template <char a>
struct string_char_traits {
  static char eos();
  };


#endif