generic
   type Source (<>) is limited private;
   type Target (<>) is limited private;
function Unchecked_Conversion (S : Source) return Target
   with Pure, Nonblocking, Import, Convention => Intrinsic;