#include <fcntl.h>

void main()
{
  int b;
  char buffer[128];

  // 0 = stdin, 1 = stdout, 2 = stderr
  
  write(1, ">> ", 3);

  b = read(0, buffer, 127);
  buffer[b] = '\0';

  write(1, "Hola ", 5);
  write(1, buffer, b);
}