type integer = 4;
type character = 1;
text: character = "Heyo world!";
size: integer = 12;
main ():
system (1, 1, #text, size);
return;;