snl语言是一个简单的具有嵌套过程定义的过程式语言

				{ 循环不变式外提优化的测试程序1,测试地址加外提}
				program  pp
				var integer i,n,m,j,k,r;
				    array [1..10] of integer a;
				
				begin
				   i:=0;
				   j:=0;  
				   k:=0;
				   while k				      while i				           a[k]:=k;           
				      	   m:=10*(5+j); {运算提两层}
				           m:=k+5;      {运算提一层}
				           n:=i;
				      
				           write(n);
				           i:=i+1
				      endwh;
				      i:=0;
				      k:=k+1
				   endwh;
				   write(m);
				 
				   write(a[1]);
				   write(a[2])
				 end.