1/* @ajax/mesh-abi-host-fleet's functions against vectors the Rust computed (alpha-rust-mesh, the same inputs). */
2#include "mesh/abi/host_fleet.h"
3#include "mesh/check.h"
4
5#include <stdint.h>
6
7int main(void) {
8    CHECK_U(mesh_fmember(0), 5184u);
9    CHECK_U(mesh_fmember(1), 5248u);
10    CHECK_U(mesh_fmember(3), 5376u);
11    CHECK_U(mesh_fmember(7), 5632u);
12    CHECK_U(mesh_fmember(8), 5696u);
13    return mesh_check_done();
14}