#include <stdio.h>

#include "common.h"

#include <catch2/catch.hpp>

#define CATCH_CONFIG_MAIN