1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8
9. 9

#include <lean/lean.h>

extern "C" uint32_t myAdd(uint32_t a, uint32_t b) {
  return a + b + something;
}

extern "C" lean_obj_res myLeanFun() {
  return lean_io_result_mk_ok(lean_box(0));
}