zweic / tests / 5 / antoineyersion / read_print(0).zwei

{
	Int a = readChar;
	printChar(a);
	printChar(10);
	printChar(13);
	Int b = readInt;
	printInt(b);
	printChar(10);
	printChar(13);
}