1/* Every constant of @ajax/mesh-abi-trace 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/trace.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_TRACE_BASE, UINT64_C(106496));
11    CHECK_U(MESH_TRACE_PER_PROG, UINT64_C(128));
12    CHECK_U(MESH_TRACE_BYTES, UINT64_C(16));
13    return mesh_check_done();
14}