#include "syscall.h"


int main(){

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

	Write(buffer, 15, fileID);
	Write(buffer2, 100, fileID2);

        Read(buffer, 5, fileID);
        Read(buffer2, 6, fileID2);

        Close(fileID);
        Close(fileID2);
        Halt();

}