Inductive VendorNameT :=
  VendorName : forall (s : string),
    matches s (regex "[a-zA-Z][A-Za-z0-9_-]{0,128}")
      -> VendorNameT.
