package Opt17 is

  subtype S is String (1 .. 5);

  function Func return S;

end Opt17;