1/* @ajax/mesh-abi-exchange's functions against vectors the Rust computed (alpha-rust-mesh, the same inputs). */
2#include "mesh/abi/exchange.h"
3#include "mesh/check.h"
4
5#include <stdint.h>
6
7int main(void) {
8    CHECK_U(mesh_ex_counter(0), 172032u);
9    CHECK_U(mesh_ex_slots(0), 172288u);
10    CHECK_U(mesh_ex_counter(1), 172040u);
11    CHECK_U(mesh_ex_slots(1), 172352u);
12    CHECK_U(mesh_ex_counter(3), 172056u);
13    CHECK_U(mesh_ex_slots(3), 172480u);
14    CHECK_U(mesh_ex_counter(7), 172088u);
15    CHECK_U(mesh_ex_slots(7), 172736u);
16    CHECK_U(mesh_ex_counter(8), 172096u);
17    CHECK_U(mesh_ex_slots(8), 172800u);
18    return mesh_check_done();
19}