1/* @ajax/mesh-abi-program-table's functions against vectors the Rust computed (alpha-rust-mesh, the same inputs). */
2#include "mesh/abi/program_table.h"
3#include "mesh/check.h"
4
5#include <stdint.h>
6
7int main(void) {
8    CHECK_U(mesh_prog_entry(0), 4096u);
9    CHECK_U(mesh_prog_entry(1), 4224u);
10    CHECK_U(mesh_prog_entry(2), 4352u);
11    CHECK_U(mesh_prog_entry(7), 4992u);
12    CHECK_U(mesh_prog_entry(31), 8064u);
13    CHECK_U(mesh_prog_entry(32), 8192u);
14    return mesh_check_done();
15}