#include "syscall.h"


int main(){

	int fileID;
	int fileID2;

        char * buffer = "Estrellita.txt";
        char * buffer2 = "Probando.txt";
               
	fileID = Open(buffer);

	Read(buffer2, 10, fileID);

	Close(fileID);

	fileID2 = Open(buffer);
  
        Write(buffer, 5, fileID2);

        Close(fileID2);

}