1/* Every constant of @ajax/mesh-abi-pipe-table 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/pipe_table.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_PIPE_TABLE, UINT64_C(303104));
11    CHECK_U(MESH_PP_BYTES, UINT64_C(64));
12    CHECK_U(MESH_PP_IN_OFF, UINT64_C(0));
13    CHECK_U(MESH_PP_IN_CAP, UINT64_C(4));
14    CHECK_U(MESH_PP_IN_REC, UINT64_C(8));
15    CHECK_U(MESH_PP_IN_TYPE, UINT64_C(12));
16    CHECK_U(MESH_PP_FEEDS_MASK, UINT64_C(16));
17    CHECK_U(MESH_PP_FED_MASK, UINT64_C(20));
18    CHECK_U(MESH_PP_IN_HOLD, UINT64_C(24));
19    CHECK_U(MESH_PP_FLIGHT, UINT64_C(28));
20    CHECK_U(MESH_PP_FLIGHT1, UINT64_C(48));
21    CHECK_U(MESH_PP_TYPE_NAME, UINT64_C(32));
22    CHECK_U(MESH_PIPE_FIELDS_LEN, 10);
23    CHECK_U(MESH_PIPE_FIELDS[0].off, UINT64_C(0));
24    CHECK_U(MESH_PIPE_FIELDS[0].bytes, UINT64_C(4));
25    CHECK_U(MESH_PIPE_FIELDS[1].off, UINT64_C(4));
26    CHECK_U(MESH_PIPE_FIELDS[1].bytes, UINT64_C(4));
27    CHECK_U(MESH_PIPE_FIELDS[2].off, UINT64_C(8));
28    CHECK_U(MESH_PIPE_FIELDS[2].bytes, UINT64_C(4));
29    CHECK_U(MESH_PIPE_FIELDS[3].off, UINT64_C(12));
30    CHECK_U(MESH_PIPE_FIELDS[3].bytes, UINT64_C(4));
31    CHECK_U(MESH_PIPE_FIELDS[4].off, UINT64_C(16));
32    CHECK_U(MESH_PIPE_FIELDS[4].bytes, UINT64_C(4));
33    CHECK_U(MESH_PIPE_FIELDS[5].off, UINT64_C(20));
34    CHECK_U(MESH_PIPE_FIELDS[5].bytes, UINT64_C(4));
35    CHECK_U(MESH_PIPE_FIELDS[6].off, UINT64_C(24));
36    CHECK_U(MESH_PIPE_FIELDS[6].bytes, UINT64_C(4));
37    CHECK_U(MESH_PIPE_FIELDS[7].off, UINT64_C(28));
38    CHECK_U(MESH_PIPE_FIELDS[7].bytes, UINT64_C(4));
39    CHECK_U(MESH_PIPE_FIELDS[8].off, UINT64_C(32));
40    CHECK_U(MESH_PIPE_FIELDS[8].bytes, UINT64_C(16));
41    CHECK_U(MESH_PIPE_FIELDS[9].off, UINT64_C(48));
42    CHECK_U(MESH_PIPE_FIELDS[9].bytes, UINT64_C(4));
43    return mesh_check_done();
44}