sant123

#include <stdio.h>
#include <stdlib.h>

static char *read_stdin(void)
{
  size_t cap = 4096, /* Initial capacity for the char buffer */
      len = 0;       /* Current offset of the buffer */

  char *buffer = malloc(cap * sizeof(char));
  int c;