Main Module settest
%set debug_tree = true
%set debug_print_ccode = true

	Declare
		key_range is integer range 0..7
		function_key is set of key_range
		key_pad	: static function_key initially function_key (
				1 to 3 )
	EndDeclare


	For index in key_pad do
	EndFor

EndModule