#include #include void main() { int b; char array[128]; // 0 = stdin, 1 = stdout, 2 = stderr write(1, ">> ", 3); b = read(0, array, 127); array[b] = '\0'; write(1, "Hola ", 5); write(1, array, b); }