#include <NoCopy7.d>
#include <__oo2c.h>
#include <setjmp.h>

static void NoCopy7__P(const OOC_CHAR8 a[], OOC_LEN a_0d) {

  return;
  ;
}

void OOC_NoCopy7_init(void) {

  return;
  ;
}

void OOC_NoCopy7_destroy(void) {
}

/* --- */
