#include <stdio.h>
extern void* libm3smlFnPublic(void);

void* libm3smlSymPublic = (void*)&libm3smlFnPublic;

void* libm3smlFnPublic(void) {
  printf("> libm3smlFnPublic called\n");
  return &libm3smlSymPublic;
}

void m5_open() {
  printf("> m5_open called\n");
}