(executable
 (name toto)
 (modes exe byte)
 (public_name toto))
