terminal_of_fun.exe (fun)