#ifndef THREAD_H_
#define THREAD_H_

void thread_yield(void);

#endif