The command line (command name and the list of arguments) for launching a process is returned by the initialization function. The Proc backend then just starts an asynchronous process and configures a process filter and sentinel, which are used for processing the output of the syntax check tool. When exiting Emacs, running processes will be killed without prompting the user.