1package body Inline13_Pkg is
2
3  function Padded (Value : T) return Padded_T is
4  begin
5    return Padded_T(Value);
6  end Padded;
7
8end Inline13_Pkg;
9