1/* @ajax/mesh-abi-snapshot's functions against vectors the Rust computed (alpha-rust-mesh, the same inputs). */
2#include "mesh/abi/snapshot.h"
3#include "mesh/check.h"
4
5#include <stdint.h>
6
7int main(void) {
8    CHECK_U(mesh_section_bytes(0, 0), 1680u);
9    CHECK_U(mesh_section_bytes(1, 1), 1716u);
10    CHECK_U(mesh_section_bytes(2, 4), 1748u);
11    CHECK_U(mesh_section_bytes(32, 4096), 6800u);
12    CHECK_U(mesh_section_bytes(5, 3), 1844u);
13    CHECK_U(mesh_section_bytes(31, 262144), 264816u);
14    return mesh_check_done();
15}