1/* Every constant of @ajax/mesh-abi-view-heap 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_heap.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_VIEW_HEAP, UINT64_C(1048576));
11    CHECK_U(MESH_VIEW_HEAP_END, UINT64_C(8388608));
12    CHECK_U(MESH_VIEW_PAGE, UINT64_C(4096));
13    CHECK_U(MESH_VIEW_PAGES, UINT64_C(1792));
14    return mesh_check_done();
15}