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