package URL is
   function Decode (URL : in String) return String;
end URL;