1/* @ajax/mesh-abi-load-page's functions against vectors the Rust computed (alpha-rust-mesh, the same inputs). */
2#include "mesh/abi/load_page.h"
3#include "mesh/check.h"
4
5#include <stdint.h>
6
7int main(void) {
8    CHECK_U(mesh_load_page(4096), 294912u);
9    CHECK_U(mesh_load_page(4112), 294928u);
10    CHECK_U(mesh_load_page(6144), 296960u);
11    CHECK_U(mesh_load_page(10240), 301056u);
12    return mesh_check_done();
13}