#include <stdint.h>
#include <stdio.h>
#include <unistd.h>

#include "platform.h"
#include "encoding.h"
#include "semihosting.h"

int main()
{
	char new[]="/scratch/gabriel/Documents/test_file";
	//puts(new);
	//char buf[10];
	printf("TEST!!!");
	//int fh = open(new, 0, 0);
	//unlink(new);
	//read(fh, buf, 10);
	//printf(buf);
	//read(fh, buf, 10);
	return 0;
}