1/* Every constant of @ajax/mesh-abi-host-links 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/host_links.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_S_LINKS, UINT64_C(1792));
11    CHECK_U(MESH_LINK_BYTES, UINT64_C(128));
12    CHECK_U(MESH_L_RX_BYTES, UINT64_C(0));
13    CHECK_U(MESH_L_TX_BYTES, UINT64_C(8));
14    CHECK_U(MESH_L_RX_FRAMES, UINT64_C(16));
15    CHECK_U(MESH_L_TX_FRAMES, UINT64_C(48));
16    CHECK_U(MESH_L_LOCAL, UINT64_C(80));
17    CHECK_U(MESH_L_IFACE, UINT64_C(112));
18    CHECK_U(MESH_NET_KINDS, UINT64_C(4));
19    CHECK_U(MESH_KIND_ROUND, UINT64_C(0));
20    CHECK_U(MESH_KIND_PLACE, UINT64_C(1));
21    CHECK_U(MESH_KIND_LOAD, UINT64_C(2));
22    CHECK_U(MESH_KIND_CTL, UINT64_C(3));
23    CHECK_U(MESH_KIND_NAMES_LEN, 4);
24    CHECK_S(MESH_KIND_NAMES[0], "round");
25    CHECK_S(MESH_KIND_NAMES[1], "place");
26    CHECK_S(MESH_KIND_NAMES[2], "state");
27    CHECK_S(MESH_KIND_NAMES[3], "ctl");
28    CHECK_U(MESH_LINK_FIELDS_LEN, 6);
29    CHECK_U(MESH_LINK_FIELDS[0].off, UINT64_C(0));
30    CHECK_U(MESH_LINK_FIELDS[0].bytes, UINT64_C(8));
31    CHECK_U(MESH_LINK_FIELDS[1].off, UINT64_C(8));
32    CHECK_U(MESH_LINK_FIELDS[1].bytes, UINT64_C(8));
33    CHECK_U(MESH_LINK_FIELDS[2].off, UINT64_C(16));
34    CHECK_U(MESH_LINK_FIELDS[2].bytes, UINT64_C(32));
35    CHECK_U(MESH_LINK_FIELDS[3].off, UINT64_C(48));
36    CHECK_U(MESH_LINK_FIELDS[3].bytes, UINT64_C(32));
37    CHECK_U(MESH_LINK_FIELDS[4].off, UINT64_C(80));
38    CHECK_U(MESH_LINK_FIELDS[4].bytes, UINT64_C(32));
39    CHECK_U(MESH_LINK_FIELDS[5].off, UINT64_C(112));
40    CHECK_U(MESH_LINK_FIELDS[5].bytes, UINT64_C(16));
41    return mesh_check_done();
42}