#include <unistd.h> 
#include <stdlib.h>
#include <stdio.h> 
#include "dllist.h" 
#include "kt.h"
#include "simulator.h"
#include "console_buf.h"

// this file contains the code and data structures necessary to implement the
// console