(executable
 (name doc))
