(executables
 (names gentags))
