#ifndef _TYPES_H_ #define _TYPES_H_ #include "dolphin/types.h" #endif