(executable
 (name gen))
