1-- Taken from #2933 submitted by @koenmeersman 2procedure Go is 3begin 4 Loop_Label : 5 while True loop 6 declare 7 procedure Not_Tagged is 8 begin 9 null; 10 end Step_T; 11 begin 12 null; 13 end; 14 end loop Loop_Label; 15end Go; 16