#include <stdio.h>

Integer new myInput;

myInput = getc (xstdin ());

printf ("%c", myInput asCharacter);