let wellFormedName ?(allow_dash=false) =
  if allow_dash then
    Bool.match_string "^[a-zA-Z][a-zA-Z0-9_\\-]*$"
  else
    Bool.match_string "^[a-zA-Z][a-zA-Z0-9_]*$"