main module TEST32Z
%set debug_print_ccode = true

	use TEXTIO	
	declare
	    S : static 16 bit cardinal
	enddeclare

	S := sizeof (1234567)

	out_integer (TTY, integer(S))
	out_record  (TTY)
endmodule