1/* Every constant of @ajax/mesh-abi-header 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/header.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_H_MAGIC, UINT64_C(0));
11    CHECK_U(MESH_H_VERSION, UINT64_C(4));
12    CHECK_U(MESH_H_PEER, UINT64_C(24));
13    CHECK_U(MESH_H_BLINK, UINT64_C(32));
14    CHECK_U(MESH_H_EPOCH, UINT64_C(36));
15    CHECK_U(MESH_H_PROG_SEQ, UINT64_C(40));
16    CHECK_U(MESH_H_SMS, UINT64_C(44));
17    CHECK_U(MESH_H_SYSTEMS, UINT64_C(48));
18    CHECK_U(MESH_H_CC, UINT64_C(52));
19    CHECK_U(MESH_H_BLOCKS_PER_SM, UINT64_C(56));
20    CHECK_U(MESH_H_SMS_TOTAL, UINT64_C(60));
21    CHECK_U(MESH_H_BACKEND, UINT64_C(64));
22    CHECK_U(MESH_H_MAX_TG_THREADS, UINT64_C(68));
23    CHECK_U(MESH_H_LOAD_WIN, UINT64_C(72));
24    CHECK_U(MESH_H_GROUP_RANK, UINT64_C(76));
25    CHECK_U(MESH_H_GROUP_N, UINT64_C(80));
26    CHECK_U(MESH_H_GROUP_EPOCH, UINT64_C(84));
27    CHECK_U(MESH_H_PIPE_EPOCH, UINT64_C(88));
28    CHECK_U(MESH_H_MAX_SHARED, UINT64_C(92));
29    CHECK_U(MESH_H_BYTES, UINT64_C(256));
30    CHECK_U(MESH_HEADER_FIELDS_LEN, 19);
31    CHECK_U(MESH_HEADER_FIELDS[0].off, UINT64_C(0));
32    CHECK_U(MESH_HEADER_FIELDS[0].bytes, UINT64_C(4));
33    CHECK_U(MESH_HEADER_FIELDS[1].off, UINT64_C(4));
34    CHECK_U(MESH_HEADER_FIELDS[1].bytes, UINT64_C(4));
35    CHECK_U(MESH_HEADER_FIELDS[2].off, UINT64_C(24));
36    CHECK_U(MESH_HEADER_FIELDS[2].bytes, UINT64_C(4));
37    CHECK_U(MESH_HEADER_FIELDS[3].off, UINT64_C(32));
38    CHECK_U(MESH_HEADER_FIELDS[3].bytes, UINT64_C(4));
39    CHECK_U(MESH_HEADER_FIELDS[4].off, UINT64_C(36));
40    CHECK_U(MESH_HEADER_FIELDS[4].bytes, UINT64_C(4));
41    CHECK_U(MESH_HEADER_FIELDS[5].off, UINT64_C(40));
42    CHECK_U(MESH_HEADER_FIELDS[5].bytes, UINT64_C(4));
43    CHECK_U(MESH_HEADER_FIELDS[6].off, UINT64_C(44));
44    CHECK_U(MESH_HEADER_FIELDS[6].bytes, UINT64_C(4));
45    CHECK_U(MESH_HEADER_FIELDS[7].off, UINT64_C(48));
46    CHECK_U(MESH_HEADER_FIELDS[7].bytes, UINT64_C(4));
47    CHECK_U(MESH_HEADER_FIELDS[8].off, UINT64_C(52));
48    CHECK_U(MESH_HEADER_FIELDS[8].bytes, UINT64_C(4));
49    CHECK_U(MESH_HEADER_FIELDS[9].off, UINT64_C(56));
50    CHECK_U(MESH_HEADER_FIELDS[9].bytes, UINT64_C(4));
51    CHECK_U(MESH_HEADER_FIELDS[10].off, UINT64_C(60));
52    CHECK_U(MESH_HEADER_FIELDS[10].bytes, UINT64_C(4));
53    CHECK_U(MESH_HEADER_FIELDS[11].off, UINT64_C(64));
54    CHECK_U(MESH_HEADER_FIELDS[11].bytes, UINT64_C(4));
55    CHECK_U(MESH_HEADER_FIELDS[12].off, UINT64_C(68));
56    CHECK_U(MESH_HEADER_FIELDS[12].bytes, UINT64_C(4));
57    CHECK_U(MESH_HEADER_FIELDS[13].off, UINT64_C(72));
58    CHECK_U(MESH_HEADER_FIELDS[13].bytes, UINT64_C(4));
59    CHECK_U(MESH_HEADER_FIELDS[14].off, UINT64_C(76));
60    CHECK_U(MESH_HEADER_FIELDS[14].bytes, UINT64_C(4));
61    CHECK_U(MESH_HEADER_FIELDS[15].off, UINT64_C(80));
62    CHECK_U(MESH_HEADER_FIELDS[15].bytes, UINT64_C(4));
63    CHECK_U(MESH_HEADER_FIELDS[16].off, UINT64_C(84));
64    CHECK_U(MESH_HEADER_FIELDS[16].bytes, UINT64_C(4));
65    CHECK_U(MESH_HEADER_FIELDS[17].off, UINT64_C(88));
66    CHECK_U(MESH_HEADER_FIELDS[17].bytes, UINT64_C(4));
67    CHECK_U(MESH_HEADER_FIELDS[18].off, UINT64_C(92));
68    CHECK_U(MESH_HEADER_FIELDS[18].bytes, UINT64_C(4));
69    return mesh_check_done();
70}