1/* Every constant of @ajax/mesh-abi-host-net 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_net.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_S_NET_AT_MS, UINT64_C(1600));
11    CHECK_U(MESH_S_NET_NICS, UINT64_C(1608));
12    CHECK_U(MESH_S_NET_SAMPLES, UINT64_C(1612));
13    CHECK_U(MESH_S_CTL_RX, UINT64_C(1616));
14    CHECK_U(MESH_S_CTL_TX, UINT64_C(1624));
15    CHECK_U(MESH_S_CTL_REQS, UINT64_C(1632));
16    CHECK_U(MESH_S_HTTP_RX, UINT64_C(1640));
17    CHECK_U(MESH_S_HTTP_TX, UINT64_C(1648));
18    CHECK_U(MESH_S_HTTP_CONNS, UINT64_C(1656));
19    CHECK_U(MESH_S_NET_TOTAL, UINT64_C(1664));
20    return mesh_check_done();
21}