#include "Status_t.h"
#include <iostream>
#include <cassert>
// The 2-dimensional region class. Parameterized by the numeric type