(executable
 (name main))
