#include "syscall.h"

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


    Create( "../test/copy.c.1" );
    input  = Open( "../test/copy.c" );
    output = Open( "../test/copy.c.1" );
    while( (n = Read( buffer, 1024, input ) ) > 0 ) {
	Write( buffer, n, output);
    }
    Close( input );
    Close( output );
}