#include "../port/portfns.h"

void		idlehands(void);
void		handlewait(Hwait*);
void		setmach(Mach*);