package Taft_Type2 is procedure Proc; end Taft_Type2;