1/* Every constant of @ajax/mesh-abi-control-protocol 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/control_protocol.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_CONTROL_PORT, UINT64_C(7700));
11    CHECK_U(MESH_HTTP_PORT, UINT64_C(8088));
12    CHECK_U(MESH_LOAD_REASONS_LEN, 13);
13    CHECK_S(MESH_LOAD_REASONS[0], "manifest");
14    CHECK_S(MESH_LOAD_REASONS[1], "abi");
15    CHECK_S(MESH_LOAD_REASONS[2], "name exists");
16    CHECK_S(MESH_LOAD_REASONS[3], "no slot");
17    CHECK_S(MESH_LOAD_REASONS[4], "view heap");
18    CHECK_S(MESH_LOAD_REASONS[5], "occupancy");
19    CHECK_S(MESH_LOAD_REASONS[6], "regs");
20    CHECK_S(MESH_LOAD_REASONS[7], "jit");
21    CHECK_S(MESH_LOAD_REASONS[8], "load");
22    CHECK_S(MESH_LOAD_REASONS[9], "peer");
23    CHECK_S(MESH_LOAD_REASONS[10], "unsupported");
24    CHECK_S(MESH_LOAD_REASONS[11], "float");
25    CHECK_S(MESH_LOAD_REASONS[12], "exec");
26    return mesh_check_done();
27}