#include "../lib.h"

void fail_start_trace(void) {}
void fail_stop_trace(void) {}
void fail_marker_positive(void) {}
void fail_marker_negative(void) {}
void fail_marker_detected(void) {}

int wasm_module(void);

void os_main(void) { wasm_module(); }