#include "lib.h"

int wasm_module(void);

MAIN() {
  int result;

  MARKER(start_trace);
  result = wasm_module();
  MARKER(stop_trace);

  if (result == 100) {
    MARKER(ok_marker);
  } else {
    MARKER(fail_marker);
  }
}