#ifndef M_DO_M_DO_MACHINE_H
#define M_DO_M_DO_MACHINE_H
#include "dolphin/types.h"
#endif /* M_DO_M_DO_MACHINE_H */