init for i:int = 42 downto 23 assert( i >= 23)