(executable
 (name hello))
