#include <stdio.h>

// We could
//
//   #include <lib.wasm.h>
//
// for the externs declared here manually, but including that currently
// requires having wasm-rt.h in the include path, which may be annoying for
// users - needs to be thought about.

extern void wasmbox_init(void);

extern int (*Z_do_bad_thingZ_ii)(int);

extern int (*Z_twiceZ_ii)(int);

int main() {
  puts("Initializing sandboxed unsafe library");
  wasmbox_init();
  printf("Calling twice on 21 returns %d\n", Z_twiceZ_ii(21));
  puts("Calling something bad now...");
  int num = Z_do_bad_thingZ_ii(1);
  printf("The sandbox should not have been able to print anything.\n"
         "It claims it printed %d chars but the test proves it didn't!\n", num);
}