Definition LicenseT :=
  string.
