// Define FAIL* marker symbols
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) {}

// Forward declare workload
int wasm_module(void);

// Execute
MAIN {
  int retval = wasm_module();
  RET(retval);
}