1/* Every constant of @ajax/mesh-abi-peer-frames 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/peer_frames.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_PEER_PORT, UINT64_C(7701));
11    CHECK_U(MESH_PEER_VERSION, UINT64_C(12));
12    CHECK_U(MESH_F_HELLO, UINT64_C(1));
13    CHECK_U(MESH_F_ROUND, UINT64_C(2));
14    CHECK_U(MESH_F_BEAT, UINT64_C(3));
15    CHECK_U(MESH_F_VOTE_REQ, UINT64_C(4));
16    CHECK_U(MESH_F_VOTE, UINT64_C(5));
17    CHECK_U(MESH_F_STATE, UINT64_C(6));
18    CHECK_U(MESH_F_STATE_ACK, UINT64_C(7));
19    CHECK_U(MESH_F_COMMIT, UINT64_C(8));
20    CHECK_U(MESH_F_PLACE, UINT64_C(9));
21    CHECK_U(MESH_F_FRAME, UINT64_C(10));
22    CHECK_U(MESH_F_INPUT, UINT64_C(11));
23    CHECK_U(MESH_F_JOIN, UINT64_C(12));
24    CHECK_U(MESH_F_LOADREP, UINT64_C(13));
25    CHECK_U(MESH_F_CTL, UINT64_C(14));
26    CHECK_U(MESH_F_CTL_REPLY, UINT64_C(15));
27    CHECK_U(MESH_F_IMAGE_REQ, UINT64_C(16));
28    CHECK_U(MESH_F_IMAGE, UINT64_C(17));
29    CHECK_U(MESH_F_PERF, UINT64_C(18));
30    CHECK_U(MESH_F_VIEW_REQ, UINT64_C(19));
31    CHECK_U(MESH_F_VIEW, UINT64_C(20));
32    CHECK_U(MESH_F_JOB_AVAIL, UINT64_C(21));
33    CHECK_U(MESH_F_JOB_STATE, UINT64_C(22));
34    CHECK_U(MESH_F_JOB_ACK, UINT64_C(23));
35    CHECK_U(MESH_F_JOB_PULL, UINT64_C(24));
36    CHECK_U(MESH_F_JOB_HAVE, UINT64_C(25));
37    CHECK_U(MESH_F_LEASE, UINT64_C(26));
38    CHECK_U(MESH_F_LEASE_CUT, UINT64_C(27));
39    CHECK_U(MESH_F_RESULT, UINT64_C(28));
40    CHECK_U(MESH_F_BLOB_PUT, UINT64_C(29));
41    CHECK_U(MESH_F_BLOB_ACK, UINT64_C(30));
42    CHECK_U(MESH_F_BLOB_GET, UINT64_C(31));
43    CHECK_U(MESH_F_BLOB, UINT64_C(32));
44    CHECK_U(MESH_FRAMES_LEN, 32);
45    CHECK_U(MESH_FRAMES[0], UINT64_C(1));
46    CHECK_U(MESH_FRAMES[1], UINT64_C(2));
47    CHECK_U(MESH_FRAMES[2], UINT64_C(3));
48    CHECK_U(MESH_FRAMES[3], UINT64_C(4));
49    CHECK_U(MESH_FRAMES[4], UINT64_C(5));
50    CHECK_U(MESH_FRAMES[5], UINT64_C(6));
51    CHECK_U(MESH_FRAMES[6], UINT64_C(7));
52    CHECK_U(MESH_FRAMES[7], UINT64_C(8));
53    CHECK_U(MESH_FRAMES[8], UINT64_C(9));
54    CHECK_U(MESH_FRAMES[9], UINT64_C(10));
55    CHECK_U(MESH_FRAMES[10], UINT64_C(11));
56    CHECK_U(MESH_FRAMES[11], UINT64_C(12));
57    CHECK_U(MESH_FRAMES[12], UINT64_C(13));
58    CHECK_U(MESH_FRAMES[13], UINT64_C(14));
59    CHECK_U(MESH_FRAMES[14], UINT64_C(15));
60    CHECK_U(MESH_FRAMES[15], UINT64_C(16));
61    CHECK_U(MESH_FRAMES[16], UINT64_C(17));
62    CHECK_U(MESH_FRAMES[17], UINT64_C(18));
63    CHECK_U(MESH_FRAMES[18], UINT64_C(19));
64    CHECK_U(MESH_FRAMES[19], UINT64_C(20));
65    CHECK_U(MESH_FRAMES[20], UINT64_C(21));
66    CHECK_U(MESH_FRAMES[21], UINT64_C(22));
67    CHECK_U(MESH_FRAMES[22], UINT64_C(23));
68    CHECK_U(MESH_FRAMES[23], UINT64_C(24));
69    CHECK_U(MESH_FRAMES[24], UINT64_C(25));
70    CHECK_U(MESH_FRAMES[25], UINT64_C(26));
71    CHECK_U(MESH_FRAMES[26], UINT64_C(27));
72    CHECK_U(MESH_FRAMES[27], UINT64_C(28));
73    CHECK_U(MESH_FRAMES[28], UINT64_C(29));
74    CHECK_U(MESH_FRAMES[29], UINT64_C(30));
75    CHECK_U(MESH_FRAMES[30], UINT64_C(31));
76    CHECK_U(MESH_FRAMES[31], UINT64_C(32));
77    CHECK_U(MESH_PEER_PING_MS, UINT64_C(250));
78    CHECK_U(MESH_PEER_DEAD_MS, UINT64_C(3000));
79    return mesh_check_done();
80}