type integer   = 4;
type character = 1;

text: character [] = "Heyo world!";
size: integer      = 12;

main ():
	system (1, 1, #text, size);
	return;;