/* Public domain. */

#include <stdio.h>
#include <sys/types.h>
#include <sys/time.h>

int main(){
  printf("#ifndef _SELECT_H____\n");
  printf("#define _SELECT_H____\n\n");
  printf("#include <sys/types.h>\n");
  printf("#include <sys/time.h>\n");
  printf("extern int select();\n\n");
  printf("#endif /* _SELECT_H____ */\n");
  return 0;
}