Inductive ArchitectureNameT :=
  ArchitectureName : forall (s : string),
    matches s (regex "[a-z][a-z0-9_-]{0,32}")
      -> ArchitectureNameT.
