1/* Every constant of @ajax/mesh-abi-node 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/node.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_PROG_NODES, UINT64_C(73728));
11    CHECK_U(MESH_PROG_MAX_NODES, UINT64_C(32));
12    CHECK_U(MESH_NODE_STRIDE, UINT64_C(32));
13    CHECK_U(MESH_PROG_NODES_BYTES, UINT64_C(1024));
14    CHECK_U(MESH_N_SM, UINT64_C(0));
15    CHECK_U(MESH_N_HEARTBEAT, UINT64_C(4));
16    CHECK_U(MESH_N_TASKS, UINT64_C(8));
17    CHECK_U(MESH_N_LAST_OP, UINT64_C(12));
18    CHECK_U(MESH_N_BUSY_NS, UINT64_C(16));
19    CHECK_U(MESH_NODE_FIELDS_LEN, 5);
20    CHECK_U(MESH_NODE_FIELDS[0].off, UINT64_C(0));
21    CHECK_U(MESH_NODE_FIELDS[0].bytes, UINT64_C(4));
22    CHECK_U(MESH_NODE_FIELDS[1].off, UINT64_C(4));
23    CHECK_U(MESH_NODE_FIELDS[1].bytes, UINT64_C(4));
24    CHECK_U(MESH_NODE_FIELDS[2].off, UINT64_C(8));
25    CHECK_U(MESH_NODE_FIELDS[2].bytes, UINT64_C(4));
26    CHECK_U(MESH_NODE_FIELDS[3].off, UINT64_C(12));
27    CHECK_U(MESH_NODE_FIELDS[3].bytes, UINT64_C(4));
28    CHECK_U(MESH_NODE_FIELDS[4].off, UINT64_C(16));
29    CHECK_U(MESH_NODE_FIELDS[4].bytes, UINT64_C(8));
30    return mesh_check_done();
31}