begin
   s1;
label1: 
