#ifndef DEBUGGER_H
#define DEBUGGER_H

#include "dolphin/db/DBInterface.h"
#include "dolphin/types.h"

bool AMC_IsStub(void);
bool Hu_IsStub(void);

#endif