#include "catch2/catch.hpp"

TEST_CASE("type tests", "[system]") {
    REQUIRE(sizeof(uint64_t) == 8);
    REQUIRE(sizeof(char *) == 4);
}