1/* Every constant of @ajax/mesh-abi-wasm equals the Rust's (values printed by the Rust itself), and the
2 * Rust const asserts that need a function call hold. Generated from alpha-rust-mesh. */
3#include "mesh/abi/wasm.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_S(MESH_WASM_MODULE, "mesh");
11    CHECK_S(MESH_WASM_EXPORT_MEMORY, "memory");
12    CHECK_S(MESH_WASM_EXPORT_INIT, "mesh_init");
13    CHECK_S(MESH_WASM_EXPORT_TASK, "mesh_task");
14    CHECK_S(MESH_WASM_EXPORT_RT_ABI, "mesh_rt_abi");
15    CHECK_S(MESH_WASM_FTZ_PREFIX, "mesh_ftz_");
16    CHECK_U(MESH_WASM_W_VIEW, UINT64_C(0));
17    CHECK_U(MESH_WASM_W_EXCHANGE, UINT64_C(1));
18    CHECK_U(MESH_WASM_W_PEER, UINT64_C(256));
19    CHECK_U(MESH_WASM_I_SLOT, UINT64_C(0));
20    CHECK_U(MESH_WASM_I_NODE, UINT64_C(1));
21    CHECK_U(MESH_WASM_I_NODES, UINT64_C(2));
22    CHECK_U(MESH_WASM_I_TICKET, UINT64_C(3));
23    CHECK_U(MESH_WASM_I_SYSTEM, UINT64_C(4));
24    CHECK_U(MESH_WASM_I_SYSTEMS, UINT64_C(5));
25    CHECK_U(MESH_WASM_I_PARAM, UINT64_C(6));
26    CHECK_U(MESH_WASM_I_SMS, UINT64_C(7));
27    CHECK_U(MESH_WASM_I_VIEW_BYTES, UINT64_C(8));
28    CHECK_U(MESH_WASM_I_REQ_LEN, UINT64_C(9));
29    CHECK_U(MESH_WASM_I_REQ_OFF, UINT64_C(10));
30    CHECK_U(MESH_WASM_I_RESP_OFF, UINT64_C(11));
31    CHECK_U(MESH_WASM_I_RESP_MAX, UINT64_C(12));
32    CHECK_U(MESH_WASM_I_INPUT_LEN, UINT64_C(13));
33    CHECK_U(MESH_WASM_I_LOCKSTEP, UINT64_C(14));
34    CHECK_U(MESH_WASM_I_READS_MASK, UINT64_C(15));
35    CHECK_U(MESH_WASM_I_GROUP_RANK, UINT64_C(16));
36    CHECK_U(MESH_WASM_I_GROUP_N, UINT64_C(17));
37    return mesh_check_done();
38}