#include "syscall.h"

void hola();

int
main()
{
    OpenFileId input;
    OpenFileId output;
    char buffer[1024];
    int n = 0;

    Fork( hola );
    Yield();
    n = 0;
    Write( "copy", 3, ConsoleOutput );
    Create( "copy.c.1" );
    input  = Open( "copy.c" );
    output = Open( "copy.c.1" );
    while( (n = Read( buffer, 1024, input ) ) > 0 ) {
	Write( buffer, n, output);
    }

    Close( input );
    Close( output );
    Exit(0);
}

void hola(){
    char texto[12] = "hola mundo\n";
    Write(texto,12,ConsoleOutput);
    Yield();
    Write(texto,12,ConsoleOutput);
}