main module tsize
arm X_range_error
use TEXTIO
declare
	I_Range is 1..2				// default type
	I_Integer_Range is integer range 1..2 		// Default type
	I_5_bit_range is 5 bit integer range 1..400	// NO
	I_8_bit_range is 8 bit integer range 1..4	// NO
	I_16_bit_range is 16 bit integer range 1..4	// NO
	I_32_bit_range is 32 bit integer range 1..4	// NO

//	S_I_Range 	: static I_Range
//	S_Integer_Range : static I_Integer_Range
//	S_I_8_bit_range : static I_8_bit_range
//	S_I_16_bit_range : static I_16_bit_range
//	S_I_32_bit_range : static I_32_bit_range
enddeclare

out_string	(TTY, "I_range	")
out_integer (TTY, integer (sizeof (I_range)))
out_record (TTY)

out_string	(TTY, "I_integer_range	")
out_integer (TTY, integer (sizeof (I_integer_range)))
out_record (TTY)

out_string	(TTY, "I_5_bit_range	")
out_integer (TTY, integer (sizeof (I_5_bit_range)))
out_record (TTY)

out_string	(TTY, "I_8_bit_range	")
out_integer (TTY, integer (sizeof (I_8_bit_range)))
out_record (TTY)

out_string	(TTY, "I_16_bit_range	")
out_integer (TTY, integer (sizeof (I_16_bit_range)))
out_record (TTY)

out_string	(TTY, "I_32_bit_range	")
out_integer (TTY, integer (sizeof (I_32_bit_range)))
out_record (TTY)
//S_I_Range := 2
//S_Integer_Range := 3
//S_I_8_bit_range := 4
//S_I_16_bit_range := 5
//S_I_32_bit_range := 4

endmodule