/* Copyright (C) 2016-2019 The University of Notre Dame This software is distributed under the GNU General Public License. See the file LICENSE for details. */ #ifndef KSHELL_H #define KSHELL_H int kshell_launch(); #endif