#ifndef OSTHREAD_H
#define OSTHREAD_H

#include "dolphin/types.h"

#endif /* OSTHREAD_H */