(executable (name hello))