(executable
 (name x))
