(executable
  (name gentags))


