/*
 * Copyright 1988, 1989, 1990, 1991 Massachusetts Institute of Technology
 */
#include <stdio.h>

char *repeat_malloc(size)
     int size;
{
  char *new_space = NULL;
  int retrys = 0;

  for (retrys = 0; retrys < 10; retrys++) {
    new_space = (char *)malloc(size);
    if (new_space) return(new_space);
    sleep(10);
  }
  return(NULL);
}