#include <stdio.h>

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

  fwrite(">> ", 1, 3, stdout);

  // way better!
  fgets(buffer, 128, stdin);

  fwrite("Hola ", 1, 5, stdout);
  fwrite(buffer, 1, b, stdout);
}