procedure Heavy_Variants(Variant : Natural) is begin case Variant is when 1 => declare Foo : FooType := Load_Massive_Dataset_A; begin Operate(Foo); end; when 2 => declare Foo : FooType := Load_Massive_Dataset_B; begin Operate(Foo); end; when 2 => declare Foo : FooType := Load_Massive_Dataset_C; begin Operate(Foo); end; when others => null; end case; end Heavy_Variants;