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

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

int main()
{
	char c = sh_readc();
	printf(c);
	return 0;
}