#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "diagnostics/buffering.h"
#include "diagnostics/sink.h"
#include "diagnostics/dumping.h"