begin
   s1;
label1: x
