#include <stdio.h>
#include <unistd.h>
#include <fcntl.h>

int buf[1024];

void write_ints(int fd, int size, int *ints, char *select)
{
  int i, j;

  j = 0;

  for (i = 0; i < size; i++) {
    if (select[i] != 0) {
      buf[j] = ints[i];
      j++;
      if (j == 1024) {
        write(fd, buf, 1024*sizeof(int));
        j = 0;
      }
    }
  }
  if (j != 0) write(fd, buf, j*sizeof(int));
  return;
}