1/* Every constant of @ajax/mesh-abi-view-pipedemo 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/view_pipedemo.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_S(MESH_PIPEDEMO_MSG_TYPE, "msg");
11    CHECK_U(MESH_PIPEDEMO_MSG_BYTES, UINT64_C(64));
12    CHECK_S(MESH_PIPEDEMO_DIGEST_TYPE, "digest");
13    CHECK_U(MESH_PIPEDEMO_DIGEST_BYTES, UINT64_C(48));
14    CHECK_U(MESH_PIPEDEMO_R_SEQ, UINT64_C(0));
15    CHECK_U(MESH_PIPEDEMO_R_STAMP_LO, UINT64_C(1));
16    CHECK_U(MESH_PIPEDEMO_R_STAMP_HI, UINT64_C(2));
17    CHECK_U(MESH_PIPEDEMO_R_ORIGIN, UINT64_C(3));
18    CHECK_U(MESH_PIPEDEMO_R_PAYLOAD, UINT64_C(4));
19    CHECK_U(MESH_PIPEDEMO_ORIGIN_WASM, UINT64_C(1));
20    CHECK_U(MESH_PIPEDEMO_ORIGIN_NATIVE, UINT64_C(2));
21    CHECK_U(MESH_PIPEDEMO_PATH_GPU, UINT64_C(256));
22    CHECK_U(MESH_PIPEDEMO_S_MODE, UINT64_C(0));
23    CHECK_U(MESH_PIPEDEMO_S_BATCH, UINT64_C(4));
24    CHECK_U(MESH_PIPEDEMO_S_INTERVAL_US, UINT64_C(8));
25    CHECK_U(MESH_PIPEDEMO_S_NEXT_SEQ, UINT64_C(12));
26    CHECK_U(MESH_PIPEDEMO_S_SENT, UINT64_C(16));
27    CHECK_U(MESH_PIPEDEMO_S_FULL, UINT64_C(20));
28    CHECK_U(MESH_PIPEDEMO_S_GONE, UINT64_C(24));
29    CHECK_U(MESH_PIPEDEMO_S_LAST_NS, UINT64_C(32));
30    CHECK_U(MESH_PIPEDEMO_S_DST, UINT64_C(40));
31    CHECK_U(MESH_PIPEDEMO_MODE_GPU, UINT64_C(0));
32    CHECK_U(MESH_PIPEDEMO_MODE_DIRECT, UINT64_C(1));
33    CHECK_U(MESH_PIPEDEMO_MODE_OFF, UINT64_C(2));
34    CHECK_U(MESH_PIPEDEMO_OP_MODE, UINT64_C(2));
35    CHECK_U(MESH_PIPEDEMO_OP_BATCH, UINT64_C(3));
36    CHECK_U(MESH_PIPEDEMO_OP_INTERVAL, UINT64_C(4));
37    CHECK_U(MESH_PIPEDEMO_OP_RESET, UINT64_C(5));
38    CHECK_U(MESH_PIPEDEMO_SRC_BATCH, UINT64_C(64));
39    CHECK_U(MESH_PIPEDEMO_H_DST, UINT64_C(12));
40    CHECK_U(MESH_PIPEDEMO_H_INBOX, UINT64_C(128));
41    CHECK_U(MESH_PIPEDEMO_H_CAP, UINT64_C(1024));
42    CHECK_U(MESH_PIPEDEMO_H_CARRY, UINT64_C(74240));
43    CHECK_U(MESH_PIPEDEMO_H_CARRY_BYTES, UINT64_C(1552));
44    CHECK_U(MESH_PIPEDEMO_H_CARRY_REC, UINT64_C(16));
45    CHECK_U(MESH_PIPEDEMO_H_NODES_MAX, UINT64_C(8));
46    CHECK_U(MESH_PIPEDEMO_K_RECORDS, UINT64_C(0));
47    CHECK_U(MESH_PIPEDEMO_K_BAD, UINT64_C(4));
48    CHECK_U(MESH_PIPEDEMO_K_GPU, UINT64_C(8));
49    CHECK_U(MESH_PIPEDEMO_K_CPU, UINT64_C(12));
50    CHECK_U(MESH_PIPEDEMO_K_MAX_US, UINT64_C(16));
51    CHECK_U(MESH_PIPEDEMO_K_P50_US, UINT64_C(20));
52    CHECK_U(MESH_PIPEDEMO_K_P90_US, UINT64_C(24));
53    CHECK_U(MESH_PIPEDEMO_K_P99_US, UINT64_C(28));
54    CHECK_U(MESH_PIPEDEMO_K_EMPTY, UINT64_C(32));
55    CHECK_U(MESH_PIPEDEMO_K_LAST_BAD, UINT64_C(64));
56    CHECK_U(MESH_PIPEDEMO_K_HIST, UINT64_C(256));
57    CHECK_U(MESH_PIPEDEMO_K_BINS, UINT64_C(4096));
58    CHECK_U(MESH_PIPEDEMO_K_INBOX, UINT64_C(16640));
59    CHECK_U(MESH_PIPEDEMO_K_CAP, UINT64_C(4096));
60    CHECK_U(MESH_PIPEDEMO_K_STATS_EVERY, UINT64_C(64));
61    CHECK_U(MESH_PIPEDEMO_OP_STATS, UINT64_C(2));
62    CHECK_U(MESH_PIPEDEMO_OP_SINK_RESET, UINT64_C(3));
63    return mesh_check_done();
64}