#include	<u.h>#include	<libc.h>#include	<tos.h> intgetpid(void){	return _tos->pid;}