#ifndef JKRTHREAD_H
#define JKRTHREAD_H

#include "dolphin/types.h"

#endif /* JKRTHREAD_H */