#include "VariableDatabase.h"
#include "tbox/ShutdownRegistry.h"
#include "tbox/MathUtilities.h"
#include "tbox/Utilities.h"
#include <typeinfo>
#include <stdio.h>