#include "exactness_config.h"

Exactness_Config exactness_config;
Exactness_Ctx exactness_ctx;