generic

  type T(<>) is private;

package Discr6_Pkg is

  function X (A : T) return Integer;

  pragma Interface(C, X);
  pragma IMPORT_FUNCTION (
         INTERNAL         => X,
         EXTERNAL         => X,
         PARAMETER_TYPES  => (T),
         MECHANISM        => (Descriptor(S)));

end Discr6_Pkg;