/* console.c by Victor Rachels for console stuff... we'd need it eventually */
#include <string.h>
#include <stdlib.h>

#include "pstypes.h"
#include "newmenu.h"

void console_main() {}