#include <stdlib.h>
#include <string.h>
#include <std.h>
#include <hwi.h>
#include "core/DspError.h"
#include "core/DspIntDispatch.h"
#include "core/DspPulseIntegrator.h"
#include "core/private/DspPulseIntRegMap.h"