(executable
 (name toto)
 (public_name toto))
