1234567891011121314 (executable (name gentests) (modules gentests) (libraries unix)) (executable (name count) (modules count) (libraries unix))
