(executable
 (name alterexe))
