formation_control.exe: