1/* Every constant of @ajax/mesh-abi-view-http 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_http.h"
4#include "mesh/check.h"
5
6#include <stdint.h>
7#include <string.h>
8
9int main(void) {
10    CHECK_U(MESH_HTTP_HV_SERVED, UINT64_C(0));
11    CHECK_U(MESH_HTTP_HV_LAST_CODE, UINT64_C(4));
12    CHECK_U(MESH_HTTP_HV_LOAD_SEQ, UINT64_C(8));
13    CHECK_U(MESH_HTTP_HV_LOAD_ACK, UINT64_C(12));
14    CHECK_U(MESH_HTTP_HV_LOAD_RESULT, UINT64_C(16));
15    CHECK_U(MESH_HTTP_HV_LOAD_NAME, UINT64_C(20));
16    CHECK_U(MESH_HTTP_HV_SAMPLES, UINT64_C(512));
17    CHECK_U(MESH_HTTP_SAMPLE_BYTES, UINT64_C(16));
18    CHECK_U(MESH_HTTP_REQ_OFF, UINT64_C(256));
19    CHECK_U(MESH_HTTP_REQ_MAX, UINT64_C(256));
20    CHECK_U(MESH_HTTP_RESP_OFF, UINT64_C(1024));
21    CHECK_U(MESH_HTTP_RESP_MAX, UINT64_C(692224));
22    CHECK_U(MESH_HTTP_VIEW_BYTES, UINT64_C(693248));
23    CHECK_U(MESH_HTTP_LOAD_OK, UINT64_C(0));
24    CHECK_U(MESH_HTTP_DOOM_ROWS, UINT64_C(24));
25    return mesh_check_done();
26}