#include <system.h>
#include <logging.h>

/* TODO: Move these to a header? */