// 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) {}

// Those functions can be called from within Wasm after registration
void host_fail_start_trace(wasm_exec_env_t exec_env) {
  fail_start_trace();
}
void host_fail_stop_trace(wasm_exec_env_t exec_env) {
  fail_stop_trace();
}
void host_fail_marker_positive(wasm_exec_env_t exec_env) {
  fail_marker_positive();
}
void host_fail_marker_negative(wasm_exec_env_t exec_env) {
  fail_marker_negative();
}
void host_fail_marker_detected(wasm_exec_env_t exec_env) {
  fail_marker_detected();
}