#include "spsh.h" /* Print the welcome and warning banners */ void banner() { fprintf(stdout, "%s\n", WELCOME); fprintf(stdout, "%s\n", WARNING); return; }