package Iban_Code is
   function Is_Legal(Iban : String) return Boolean;
end Iban_Code;