/* Public domain. */

#include <stdio.h>

int main()
{

  printf("/* Public domain. */\n\n");
  printf("#ifndef IOPAUSE_H\n");
  printf("#define IOPAUSE_H\n\n");
  printf("typedef struct {\n");
  printf("  int fd;\n");
  printf("  short events;\n");
  printf("  short revents;\n");
  printf("} iopause_fd;\n\n");
  printf("#define IOPAUSE_READ 1\n");
  printf("#define IOPAUSE_WRITE 4\n\n");
  printf("#include \"taia.h\"\n\n");
  printf("extern void iopause(iopause_fd *,unsigned int,struct taia *,struct taia *);\n\n");
  printf("#endif\n");
  return 0;
}