with Limited_With5_Pkg;

package Limited_With5 is
  type Sup_T is new Integer;
  procedure Doit (Obj : Limited_With5_Pkg.T);
end Limited_With5;