1/* Every constant of @ajax/mesh-abi-ring 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/ring.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_P_RING, UINT64_C(512));
11    CHECK_U(MESH_PROG_RING, UINT64_C(64));
12    CHECK_U(MESH_ENTRY_BYTES, UINT64_C(16));
13    CHECK_U(MESH_E_OP, UINT64_C(0));
14    CHECK_U(MESH_E_ARG, UINT64_C(4));
15    CHECK_U(MESH_E_SLOT, UINT64_C(8));
16    CHECK_U(MESH_E_SEQ, UINT64_C(12));
17    CHECK_U(MESH_P_RESULTS, UINT64_C(1536));
18    CHECK_U(MESH_P_MARKS, UINT64_C(1792));
19    CHECK_U(MESH_PROG_RESULTS, UINT64_C(64));
20    return mesh_check_done();
21}